[Right triangle ⏵ may be expanded, down triangle ⏷ to close. Button = tree pop-up. × = close pop-up.]

Terminal: run. Derivation Graphs: (left-to-right) compact / full; (top-down) full / compact.

To the other core example: John expected Bill to leave (Raising to Object)
John persuaded Bill to leave (No Raising to Object)

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 Hd_{selection/features}, e.g. p_θ = predicate head p that seeks a θ-relevant (θR) IA from the WS. p_θ is a θ-seeker (θS).
v_see:θ: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 C_Q and relative clause head C_rel.
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 persuaded Bill to leave

Initial WS 1: leave_ø v_leave:_θ:_nonf:_to Bill persuade_v:_θ v_persuade:_θ:_pst INFL_v John

WS 1: {v_leave:_θ:_nonf:_to, leave_ø} Bill persuade_v:_θ v_persuade:_θ:_pst INFL_v John

WS 2: {Bill, {v_leave:_θ:_nonf:_to, leave_ø}} persuade_v:_θ v_persuade:_θ:_pst INFL_v John

WS 3: {persuade_v:_θ, {Bill, {v_leave:_θ:_nonf:_to, leave_ø}}} v_persuade:_θ:_pst INFL_v John

WS 4: {John, {persuade_v:_θ, {Bill, {v_leave:_θ:_nonf:_to, leave_ø}}}} v_persuade:_θ:_pst INFL_v

WS 5: {v_persuade:_θ:_pst, {John, {persuade_v:_θ, {Bill, {v_leave:_θ:_nonf:_to, leave_ø}}}}} INFL_v

WS 6: {John, {v_persuade:_θ:_pst, {John, {persuade_v:_θ, {Bill, {v_leave:_θ:_nonf:_to, leave_ø}}}}}} INFL_v

WS 7: {INFL_v, {John, {v_persuade:_θ:_pst, {John, {persuade_v:_θ, {Bill, {v_leave:_θ:_nonf:_to, leave_ø}}}}}}}

Final WS: {C, {INFL_v, {John, {v_persuade:_θ:_pst, {John, {persuade_v:_θ, {Bill, {v_leave:_θ:_nonf:_to, leave_ø}}}}}}}}

INT/EXT: {C, {INFL_v, {John, {v_persuade:_θ:_pst, {John, {persuade_v:_θ, {Bill, {v_leave:_θ:_nonf:_to, leave_ø}}}}}}}}

EXT: John 3sg pst persuade John Bill to leave

Blocked: EXT inconsistent!

Blocked: inconsistent with input!

WS 1: {v_leave:_θ:_nonf:_to, leave_ø} Bill persuade_v:_θ v_persuade:_θ:_pst INFL_v John

WS 2: {Bill, {v_leave:_θ:_nonf:_to, leave_ø}} persuade_v:_θ v_persuade:_θ:_pst INFL_v John [gray]

WS 3: {persuade_v:_θ, {Bill, {v_leave:_θ:_nonf:_to, leave_ø}}} v_persuade:_θ:_pst INFL_v John [gray]

WS 4: {John, {persuade_v:_θ, {Bill, {v_leave:_θ:_nonf:_to, leave_ø}}}} v_persuade:_θ:_pst INFL_v [gray]

WS 5: {v_persuade:_θ:_pst, {John, {persuade_v:_θ, {Bill, {v_leave:_θ:_nonf:_to, leave_ø}}}}} INFL_v [gray]

WS 6: {Bill, {v_persuade:_θ:_pst, {John, {persuade_v:_θ, {Bill, {v_leave:_θ:_nonf:_to, leave_ø}}}}}} INFL_v

WS 7: {INFL_v, {Bill, {v_persuade:_θ:_pst, {John, {persuade_v:_θ, {Bill, {v_leave:_θ:_nonf:_to, leave_ø}}}}}}}

Final WS: {C, {INFL_v, {Bill, {v_persuade:_θ:_pst, {John, {persuade_v:_θ, {Bill, {v_leave:_θ:_nonf:_to, leave_ø}}}}}}}}

INT/EXT: {C, {INFL_v, {Bill, {v_persuade:_θ:_pst, {John, {persuade_v:_θ, {Bill, {v_leave:_θ:_nonf:_to, leave_ø}}}}}}}}

EXT: Bill 3sg pst persuade John Bill to leave

Blocked: EXT inconsistent!

Blocked: inconsistent with input!

WS 1: {v_leave:_θ:_nonf:_to, leave_ø} Bill persuade_v:_θ v_persuade:_θ:_pst INFL_v John

WS 2: {Bill, {v_leave:_θ:_nonf:_to, leave_ø}} persuade_v:_θ v_persuade:_θ:_pst INFL_v John [gray]

WS 3: {persuade_v:_θ, {Bill, {v_leave:_θ:_nonf:_to, leave_ø}}} v_persuade:_θ:_pst INFL_v John [gray]

WS 4: {Bill, {persuade_v:_θ, {Bill, {v_leave:_θ:_nonf:_to, leave_ø}}}} v_persuade:_θ:_pst INFL_v John

WS 5: {v_persuade:_θ:_pst, {Bill, {persuade_v:_θ, {Bill, {v_leave:_θ:_nonf:_to, leave_ø}}}}} INFL_v John

WS 6: {John, {v_persuade:_θ:_pst, {Bill, {persuade_v:_θ, {Bill, {v_leave:_θ:_nonf:_to, leave_ø}}}}}} INFL_v

WS 7: {INFL_v, {John, {v_persuade:_θ:_pst, {Bill, {persuade_v:_θ, {Bill, {v_leave:_θ:_nonf:_to, leave_ø}}}}}}}

Final WS: {C, {INFL_v, {John, {v_persuade:_θ:_pst, {Bill, {persuade_v:_θ, {Bill, {v_leave:_θ:_nonf:_to, leave_ø}}}}}}}}

INT/EXT: {C, {INFL_v, {John, {v_persuade:_θ:_pst, {Bill, {persuade_v:_θ, {Bill, {v_leave:_θ:_nonf:_to, leave_ø}}}}}}}}

EXT: John 3sg pst persuade Bill to leave

Spellout: John persuaded Bill to leave

Parse found: John 3sg pst persuade Bill to leave

WS 1: {v_leave:_θ:_nonf:_to, leave_ø} Bill persuade_v:_θ v_persuade:_θ:_pst INFL_v John

WS 2: {John, {v_leave:_θ:_nonf:_to, leave_ø}} Bill persuade_v:_θ v_persuade:_θ:_pst INFL_v

WS 3: {persuade_v:_θ, {John, {v_leave:_θ:_nonf:_to, leave_ø}}} Bill v_persuade:_θ:_pst INFL_v

WS 4: {Bill, {persuade_v:_θ, {John, {v_leave:_θ:_nonf:_to, leave_ø}}}} v_persuade:_θ:_pst INFL_v

WS 5: {v_persuade:_θ:_pst, {Bill, {persuade_v:_θ, {John, {v_leave:_θ:_nonf:_to, leave_ø}}}}} INFL_v

WS 6: {Bill, {v_persuade:_θ:_pst, {Bill, {persuade_v:_θ, {John, {v_leave:_θ:_nonf:_to, leave_ø}}}}}} INFL_v

WS 7: {INFL_v, {Bill, {v_persuade:_θ:_pst, {Bill, {persuade_v:_θ, {John, {v_leave:_θ:_nonf:_to, leave_ø}}}}}}}

Final WS: {C, {INFL_v, {Bill, {v_persuade:_θ:_pst, {Bill, {persuade_v:_θ, {John, {v_leave:_θ:_nonf:_to, leave_ø}}}}}}}}

INT/EXT: {C, {INFL_v, {Bill, {v_persuade:_θ:_pst, {Bill, {persuade_v:_θ, {John, {v_leave:_θ:_nonf:_to, leave_ø}}}}}}}}

EXT: Bill 3sg pst persuade Bill John to leave

Blocked: EXT inconsistent!

Blocked: inconsistent with input!

WS 1: {v_leave:_θ:_nonf:_to, leave_ø} Bill persuade_v:_θ v_persuade:_θ:_pst INFL_v John

WS 2: {Bill, {v_leave:_θ:_nonf:_to, leave_ø}} persuade_v:_θ v_persuade:_θ:_pst INFL_v John [gray]

WS 3: {persuade_v:_θ, {John, {v_leave:_θ:_nonf:_to, leave_ø}}} Bill v_persuade:_θ:_pst INFL_v [gray]

WS 4: {Bill, {persuade_v:_θ, {John, {v_leave:_θ:_nonf:_to, leave_ø}}}} v_persuade:_θ:_pst INFL_v [gray]

WS 5: {v_persuade:_θ:_pst, {Bill, {persuade_v:_θ, {John, {v_leave:_θ:_nonf:_to, leave_ø}}}}} INFL_v [gray]

WS 6: {John, {v_persuade:_θ:_pst, {Bill, {persuade_v:_θ, {John, {v_leave:_θ:_nonf:_to, leave_ø}}}}}} INFL_v

WS 7: {INFL_v, {John, {v_persuade:_θ:_pst, {Bill, {persuade_v:_θ, {John, {v_leave:_θ:_nonf:_to, leave_ø}}}}}}}

Final WS: {C, {INFL_v, {John, {v_persuade:_θ:_pst, {Bill, {persuade_v:_θ, {John, {v_leave:_θ:_nonf:_to, leave_ø}}}}}}}}

INT/EXT: {C, {INFL_v, {John, {v_persuade:_θ:_pst, {Bill, {persuade_v:_θ, {John, {v_leave:_θ:_nonf:_to, leave_ø}}}}}}}}

EXT: John 3sg pst persuade Bill John to leave

Blocked: EXT inconsistent!

Blocked: inconsistent with input!

WS 1: {v_leave:_θ:_nonf:_to, leave_ø} Bill persuade_v:_θ v_persuade:_θ:_pst INFL_v John

WS 2: {Bill, {v_leave:_θ:_nonf:_to, leave_ø}} persuade_v:_θ v_persuade:_θ:_pst INFL_v John [gray]

WS 3: {persuade_v:_θ, {John, {v_leave:_θ:_nonf:_to, leave_ø}}} Bill v_persuade:_θ:_pst INFL_v [gray]

WS 4: {John, {persuade_v:_θ, {John, {v_leave:_θ:_nonf:_to, leave_ø}}}} Bill v_persuade:_θ:_pst INFL_v

WS 5: {v_persuade:_θ:_pst, {John, {persuade_v:_θ, {John, {v_leave:_θ:_nonf:_to, leave_ø}}}}} Bill INFL_v

WS 6: {Bill, {v_persuade:_θ:_pst, {John, {persuade_v:_θ, {John, {v_leave:_θ:_nonf:_to, leave_ø}}}}}} INFL_v

WS 7: {INFL_v, {Bill, {v_persuade:_θ:_pst, {John, {persuade_v:_θ, {John, {v_leave:_θ:_nonf:_to, leave_ø}}}}}}}

Final WS: {C, {INFL_v, {Bill, {v_persuade:_θ:_pst, {John, {persuade_v:_θ, {John, {v_leave:_θ:_nonf:_to, leave_ø}}}}}}}}

INT/EXT: {C, {INFL_v, {Bill, {v_persuade:_θ:_pst, {John, {persuade_v:_θ, {John, {v_leave:_θ:_nonf:_to, leave_ø}}}}}}}}

EXT: Bill 3sg pst persuade John to leave

Spellout: Bill persuaded John to leave

Blocked: inconsistent with input!

WS 1: {v_leave:_θ:_nonf:_to, leave_ø} Bill persuade_v:_θ v_persuade:_θ:_pst INFL_v John

WS 2: {Bill, John} {v_leave:_θ:_nonf:_to, leave_ø} persuade_v:_θ v_persuade:_θ:_pst INFL_v

WS 3: {{Bill, John}, {v_leave:_θ:_nonf:_to, leave_ø}} persuade_v:_θ v_persuade:_θ:_pst INFL_v

WS 4: {persuade_v:_θ, {{Bill, John}, {v_leave:_θ:_nonf:_to, leave_ø}}} v_persuade:_θ:_pst INFL_v

WS 5: {{Bill, John}, {persuade_v:_θ, {{Bill, John}, {v_leave:_θ:_nonf:_to, leave_ø}}}} v_persuade:_θ:_pst INFL_v

WS 6: {v_persuade:_θ:_pst, {{Bill, John}, {persuade_v:_θ, {{Bill, John}, {v_leave:_θ:_nonf:_to, leave_ø}}}}} INFL_v

WS 1: {Bill, John} leave_ø v_leave:_θ:_nonf:_to persuade_v:_θ v_persuade:_θ:_pst INFL_v