[Right triangle ⏵ may be expanded, down triangle ⏷ to close. Button = tree pop-up. × = close pop-up.]
Help: blue = parse found inside. Abbreviations: WS: Workspace; SO: Syntactic Object; IA/EA: Internal/External Argument; INT/EXT: interface SO post-Merge/FormCopy; Initial WS: heads that may project after LEX word 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:θ:past = 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/past or DET the/a (shorthand for a bundle of semantic features).
Note: ɸ-features, e.g. 1sg, appear only at Spellout. Some words don't project, turn into features, e.g. determiners.
×
Words: I like the old corridor
Initial WS 1: corridor oldthe like I
WS fail: WS θS 0 < θR 4
Initial WS 2: corridorthe oldθ like I
WS fail: WS θS 1 < θR 3
Initial WS 3: corridor oldthe likeθ I
WS fail: WS θS 1 < θR 3
Initial WS 4: corridorthe oldθ likeθ I WS 1: {oldθ, corridorthe} likeθ I
WS 2: {likeθ, {oldθ, corridorthe}} I
WS fail: WS θS 0 < θR 1
WS 1: {oldθ, corridorthe} likeθ I
WS 2: {likeθ, I} {oldθ, corridorthe}
WS 1: {oldθ, likeθ} corridorthe I
WS fail: WS θS 0 < θR 2
WS 1: {oldθ, I} corridorthe likeθ
WS 2: {likeθ, {oldθ, I}} corridorthe
WS fail: WS θS 0 < θR 1
WS 1: {oldθ, I} corridorthe likeθ
WS 2: {likeθ, corridorthe} {oldθ, I}
WS 1: {likeθ, corridorthe} oldθ I
WS 2: {oldθ, {likeθ, corridorthe}} I
WS fail: WS θS 0 < θR 1
WS 1: {likeθ, corridorthe} oldθ I
WS 2: {oldθ, I} {likeθ, corridorthe}
WS 1: {likeθ, oldθ} corridorthe I
WS fail: WS θS 0 < θR 2
WS 1: {likeθ, I} corridorthe oldθ
WS 2: {oldθ, {likeθ, I}} corridorthe
WS fail: WS θS 0 < θR 1
WS 1: {likeθ, I} corridorthe oldθ
WS 2: {oldθ, corridorthe} {likeθ, I}
Initial WS 5: corridor oldthe likeθ vlike:θ:pres INFLv I
WS fail: WS θS 2 < θR 3
Initial WS 6: corridorthe oldθ likeθ vlike:θ:pres INFLv I WS 1: {corridorthe, {oldθ, corridorthe}} likeθ vlike:θ:pres INFLv I
WS 2: {likeθ, {corridorthe, {oldθ, corridorthe}}} vlike:θ:pres INFLv I
WS 3: {vlike:θ:pres, {likeθ, {corridorthe, {oldθ, corridorthe}}}} INFLv I