To the other core example: John persuaded Bill to leave (No Raising to Object)
Raising to Object: John expected Bill to leave
Help: blue = parse inside. Abbr.: WS: Workspace; Initial WS: initial heads for Merge after LEX lookup.
WS n, n = 1,2,... for intermediate stages after Initial WS. Final WS: when WS items converge on a single SO.
Bracketing: {...} (Merge). {...} (FormSet). At Spellout, {...} indicates free word order. [word] indicates word is optionally present.
Head Hdselection/features, e.g. pθ = predicate head p that seeks a θ-relevant (θR) IA from the WS. pθ is a θ-seeker (θS).
vsee:θ:pst = head v has complement see, a θR EA from the WS and TNS. v is also a θS.
INFL seeks θR from its complement (not the WS).
Complementizer C comes in different flavors wrt. Force, .e.g. declarative C, interrogative CQ and relative clause head Crel.
Features, e.g. TNS pres/pst or DET the/a (shorthand for a bundle of semantic features).
Note: φ-features, e.g. 1sg, appear only at Spellout. Some words do not project, turn into features, e.g. determiners.
×
Words: John expected Bill to leave
Initial WS 1: leaveø vleave:θ:nonf:to Bill expectv:θs vexpect:θ:pst INFLv John WS 1: {vleave:θ:nonf:to, leaveø} Bill expectv:θs vexpect:θ:pst INFLv John
WS 2: {Bill, {vleave:θ:nonf:to, leaveø}} expectv:θs vexpect:θ:pst INFLv John
WS 3: {expectv:θs, {Bill, {vleave:θ:nonf:to, leaveø}}} vexpect:θ:pst INFLv John
WS 4: {Bill, {expectv:θs, {Bill, {vleave:θ:nonf:to, leaveø}}}} vexpect:θ:pst INFLv John
WS 5: {vexpect:θ:pst, {Bill, {expectv:θs, {Bill, {vleave:θ:nonf:to, leaveø}}}}} INFLv John
= tree pop-up. × = close pop-up.]