[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 previous core examples:

To next core example: Revolutionary new ideas appear infrequently

(Chomsky 1955/1975), p94-95, p146 excerpts. (Click image for page 94-95.)

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: furiously sleep ideas green colorless

Initial WS 1: colorless_θ green_θ ideas sleep_ø v_sleep:_θ:_pres INFL_v furiously_v

WS 1: {colorless_θ, {ideas, {green_θ, ideas}}} sleep_ø v_sleep:_θ:_pres INFL_v furiously_v

WS 1: {colorless_θ, ideas} green_θ sleep_ø v_sleep:_θ:_pres INFL_v furiously_v

WS 1: {green_θ, {ideas, {colorless_θ, ideas}}} sleep_ø v_sleep:_θ:_pres INFL_v furiously_v

WS 1: {green_θ, ideas} colorless_θ sleep_ø v_sleep:_θ:_pres INFL_v furiously_v

WS 1: {v_sleep:_θ:_pres, sleep_ø} colorless_θ green_θ ideas INFL_v furiously_v

WS 2: {colorless_θ, {ideas, {green_θ, ideas}}} {v_sleep:_θ:_pres, sleep_ø} INFL_v furiously_v

WS 1: {v_sleep:_θ:_pres, sleep_ø} colorless_θ green_θ ideas INFL_v furiously_v

WS 2: {colorless_θ, ideas} {v_sleep:_θ:_pres, sleep_ø} green_θ INFL_v furiously_v

WS 1: {v_sleep:_θ:_pres, sleep_ø} colorless_θ green_θ ideas INFL_v furiously_v

WS 2: {green_θ, {ideas, {colorless_θ, ideas}}} {v_sleep:_θ:_pres, sleep_ø} INFL_v furiously_v

WS 1: {v_sleep:_θ:_pres, sleep_ø} colorless_θ green_θ ideas INFL_v furiously_v

WS 2: {green_θ, ideas} {v_sleep:_θ:_pres, sleep_ø} colorless_θ INFL_v furiously_v

WS 1: {v_sleep:_θ:_pres, sleep_ø} colorless_θ green_θ ideas INFL_v furiously_v

WS 2: {{ideas, {{colorless_θ, ideas}, {green_θ, ideas}}}, {v_sleep:_θ:_pres, sleep_ø}} INFL_v furiously_v

WS 3: {INFL_v, {{ideas, {{colorless_θ, ideas}, {green_θ, ideas}}}, {v_sleep:_θ:_pres, sleep_ø}}} furiously_v

WS 1: {v_sleep:_θ:_pres, sleep_ø} colorless_θ green_θ ideas INFL_v furiously_v

WS 2: {colorless_θ, {ideas, {green_θ, ideas}}} {v_sleep:_θ:_pres, sleep_ø} INFL_v furiously_v [gray]

WS 3: {furiously_v, {{ideas, {{colorless_θ, ideas}, {green_θ, ideas}}}, {v_sleep:_θ:_pres, sleep_ø}}} INFL_v

WS 4: {INFL_v, {furiously_v, {{ideas, {{colorless_θ, ideas}, {green_θ, ideas}}}, {v_sleep:_θ:_pres, sleep_ø}}}}

Final WS: {C, {INFL_v, {furiously_v, {{ideas, {{colorless_θ, ideas}, {green_θ, ideas}}}, {v_sleep:_θ:_pres, sleep_ø}}}}}

INT/EXT: {C, {INFL_v, {furiously_v, {{ideas, {{colorless_θ, ideas}, {green_θ, ideas}}}, {v_sleep:_θ:_pres, sleep_ø}}}}}

EXT: {colorless,[and],green} ideas furiously 3pl pres sleep

Spellout: {colorless,[and],green} ideas furiously sleep

Blocked: inconsistent with input!

EXT: {colorless,[and],green} ideas 3pl pres sleep furiously

Spellout: {colorless,[and],green} ideas sleep furiously

Blocked: inconsistent with input!

WS 1: {v_sleep:_θ:_pres, sleep_ø} colorless_θ green_θ ideas INFL_v furiously_v

WS 2: {{{colorless_θ, {ideas, {green_θ, ideas}}}, {ideas, {green_θ, ideas}}}, {v_sleep:_θ:_pres, sleep_ø}} INFL_v furiously_v

WS 3: {INFL_v, {{{colorless_θ, {ideas, {green_θ, ideas}}}, {ideas, {green_θ, ideas}}}, {v_sleep:_θ:_pres, sleep_ø}}} furiously_v

WS 1: {v_sleep:_θ:_pres, sleep_ø} colorless_θ green_θ ideas INFL_v furiously_v

WS 2: {colorless_θ, {ideas, {green_θ, ideas}}} {v_sleep:_θ:_pres, sleep_ø} INFL_v furiously_v [gray]

WS 3: {furiously_v, {{{colorless_θ, {ideas, {green_θ, ideas}}}, {ideas, {green_θ, ideas}}}, {v_sleep:_θ:_pres, sleep_ø}}} INFL_v

WS 4: {INFL_v, {furiously_v, {{{colorless_θ, {ideas, {green_θ, ideas}}}, {ideas, {green_θ, ideas}}}, {v_sleep:_θ:_pres, sleep_ø}}}}

Final WS: {C, {INFL_v, {furiously_v, {{{colorless_θ, {ideas, {green_θ, ideas}}}, {ideas, {green_θ, ideas}}}, {v_sleep:_θ:_pres, sleep_ø}}}}}

INT/EXT: {C, {INFL_v, {furiously_v, {{{colorless_θ, {ideas,{green_θ:,ideas}}}, {ideas, {green_θ, ideas}}}, {v_sleep:_θ:_pres, sleep_ø}}}}}

EXT: green ideas furiously 3pl colorless pres sleep

Blocked: inconsistent with input!

EXT: green ideas 3pl colorless pres sleep furiously

Blocked: inconsistent with input!

WS 1: {v_sleep:_θ:_pres, sleep_ø} colorless_θ green_θ ideas INFL_v furiously_v

WS 2: {{ideas, {colorless_θ, ideas}}, {v_sleep:_θ:_pres, sleep_ø}} green_θ INFL_v furiously_v

WS 3: {green_θ, {ideas, {colorless_θ, ideas}}} {{ideas, {colorless_θ, ideas}}, {v_sleep:_θ:_pres, sleep_ø}} INFL_v furiously_v

WS 1: {v_sleep:_θ:_pres, sleep_ø} colorless_θ green_θ ideas INFL_v furiously_v

WS 2: {colorless_θ, {ideas, {green_θ, ideas}}} {v_sleep:_θ:_pres, sleep_ø} INFL_v furiously_v [gray]

WS 3: {INFL_v, {{ideas, {colorless_θ, ideas}}, {v_sleep:_θ:_pres, sleep_ø}}} green_θ furiously_v

WS 4: {green_θ, {ideas, {colorless_θ, ideas}}} {INFL_v, {{ideas, {colorless_θ, ideas}}, {v_sleep:_θ:_pres, sleep_ø}}} furiously_v

WS 1: {v_sleep:_θ:_pres, sleep_ø} colorless_θ green_θ ideas INFL_v furiously_v

WS 2: {colorless_θ, {ideas, {green_θ, ideas}}} {v_sleep:_θ:_pres, sleep_ø} INFL_v furiously_v [gray]

WS 3: {furiously_v, {{ideas, {colorless_θ, ideas}}, {v_sleep:_θ:_pres, sleep_ø}}} green_θ INFL_v

WS 4: {INFL_v, {furiously_v, {{ideas, {colorless_θ, ideas}}, {v_sleep:_θ:_pres, sleep_ø}}}} green_θ

WS 5: {green_θ, {ideas, {colorless_θ, ideas}}} {INFL_v, {furiously_v, {{ideas, {colorless_θ, ideas}}, {v_sleep:_θ:_pres, sleep_ø}}}}

WS 1: {v_sleep:_θ:_pres, sleep_ø} colorless_θ green_θ ideas INFL_v furiously_v

WS 2: {{{green_θ, {ideas, {colorless_θ, ideas}}}, {ideas, {colorless_θ, ideas}}}, {v_sleep:_θ:_pres, sleep_ø}} INFL_v furiously_v

WS 3: {INFL_v, {{{green_θ, {ideas, {colorless_θ, ideas}}}, {ideas, {colorless_θ, ideas}}}, {v_sleep:_θ:_pres, sleep_ø}}} furiously_v

WS 1: {v_sleep:_θ:_pres, sleep_ø} colorless_θ green_θ ideas INFL_v furiously_v

WS 2: {colorless_θ, {ideas, {green_θ, ideas}}} {v_sleep:_θ:_pres, sleep_ø} INFL_v furiously_v [gray]

WS 3: {furiously_v, {{{green_θ, {ideas, {colorless_θ, ideas}}}, {ideas, {colorless_θ, ideas}}}, {v_sleep:_θ:_pres, sleep_ø}}} INFL_v

WS 4: {INFL_v, {furiously_v, {{{green_θ, {ideas, {colorless_θ, ideas}}}, {ideas, {colorless_θ, ideas}}}, {v_sleep:_θ:_pres, sleep_ø}}}}

Final WS: {C, {INFL_v, {furiously_v, {{{green_θ, {ideas, {colorless_θ, ideas}}}, {ideas, {colorless_θ, ideas}}}, {v_sleep:_θ:_pres, sleep_ø}}}}}

INT/EXT: {C, {INFL_v, {furiously_v, {{{green_θ, {ideas,{colorless_θ:,ideas}}}, {ideas, {colorless_θ, ideas}}}, {v_sleep:_θ:_pres, sleep_ø}}}}}

EXT: colorless ideas furiously 3pl green pres sleep

Blocked: inconsistent with input!

EXT: colorless ideas 3pl green pres sleep furiously

Blocked: inconsistent with input!

WS 1: {v_sleep:_θ:_pres, sleep_ø} colorless_θ green_θ ideas INFL_v furiously_v

WS 2: {{ideas, {green_θ, ideas}}, {v_sleep:_θ:_pres, sleep_ø}} colorless_θ INFL_v furiously_v

WS 3: {colorless_θ, {ideas, {green_θ, ideas}}} {{ideas, {green_θ, ideas}}, {v_sleep:_θ:_pres, sleep_ø}} INFL_v furiously_v

WS 1: {v_sleep:_θ:_pres, sleep_ø} colorless_θ green_θ ideas INFL_v furiously_v

WS 2: {colorless_θ, {ideas, {green_θ, ideas}}} {v_sleep:_θ:_pres, sleep_ø} INFL_v furiously_v [gray]

WS 3: {INFL_v, {{ideas, {green_θ, ideas}}, {v_sleep:_θ:_pres, sleep_ø}}} colorless_θ furiously_v

WS 4: {colorless_θ, {ideas, {green_θ, ideas}}} {INFL_v, {{ideas, {green_θ, ideas}}, {v_sleep:_θ:_pres, sleep_ø}}} furiously_v

WS 1: {v_sleep:_θ:_pres, sleep_ø} colorless_θ green_θ ideas INFL_v furiously_v

WS 2: {colorless_θ, {ideas, {green_θ, ideas}}} {v_sleep:_θ:_pres, sleep_ø} INFL_v furiously_v [gray]

WS 3: {furiously_v, {{ideas, {green_θ, ideas}}, {v_sleep:_θ:_pres, sleep_ø}}} colorless_θ INFL_v

WS 4: {INFL_v, {furiously_v, {{ideas, {green_θ, ideas}}, {v_sleep:_θ:_pres, sleep_ø}}}} colorless_θ

WS 5: {colorless_θ, {ideas, {green_θ, ideas}}} {INFL_v, {furiously_v, {{ideas, {green_θ, ideas}}, {v_sleep:_θ:_pres, sleep_ø}}}}

WS 1: {v_sleep:_θ:_pres, sleep_ø} colorless_θ green_θ ideas INFL_v furiously_v

WS 2: {ideas, {v_sleep:_θ:_pres, sleep_ø}} colorless_θ green_θ INFL_v furiously_v

WS 3: {colorless_θ, ideas} {ideas, {v_sleep:_θ:_pres, sleep_ø}} green_θ INFL_v furiously_v

WS 1: {v_sleep:_θ:_pres, sleep_ø} colorless_θ green_θ ideas INFL_v furiously_v

WS 2: {colorless_θ, {ideas, {green_θ, ideas}}} {v_sleep:_θ:_pres, sleep_ø} INFL_v furiously_v [gray]

WS 3: {green_θ, ideas} {ideas, {v_sleep:_θ:_pres, sleep_ø}} colorless_θ INFL_v furiously_v

WS 1: {v_sleep:_θ:_pres, sleep_ø} colorless_θ green_θ ideas INFL_v furiously_v

WS 2: {colorless_θ, {ideas, {green_θ, ideas}}} {v_sleep:_θ:_pres, sleep_ø} INFL_v furiously_v [gray]

WS 3: {INFL_v, {ideas, {v_sleep:_θ:_pres, sleep_ø}}} colorless_θ green_θ furiously_v

WS 4: {colorless_θ, ideas} {INFL_v, {ideas, {v_sleep:_θ:_pres, sleep_ø}}} green_θ furiously_v

WS 1: {v_sleep:_θ:_pres, sleep_ø} colorless_θ green_θ ideas INFL_v furiously_v

WS 2: {colorless_θ, {ideas, {green_θ, ideas}}} {v_sleep:_θ:_pres, sleep_ø} INFL_v furiously_v [gray]

WS 3: {colorless_θ, ideas} {ideas, {v_sleep:_θ:_pres, sleep_ø}} green_θ INFL_v furiously_v [gray]

WS 4: {green_θ, ideas} {INFL_v, {ideas, {v_sleep:_θ:_pres, sleep_ø}}} colorless_θ furiously_v

WS 1: {v_sleep:_θ:_pres, sleep_ø} colorless_θ green_θ ideas INFL_v furiously_v

WS 2: {colorless_θ, {ideas, {green_θ, ideas}}} {v_sleep:_θ:_pres, sleep_ø} INFL_v furiously_v [gray]

WS 3: {furiously_v, {ideas, {v_sleep:_θ:_pres, sleep_ø}}} colorless_θ green_θ INFL_v

WS 4: {INFL_v, {furiously_v, {ideas, {v_sleep:_θ:_pres, sleep_ø}}}} colorless_θ green_θ

WS 5: {colorless_θ, ideas} {INFL_v, {furiously_v, {ideas, {v_sleep:_θ:_pres, sleep_ø}}}} green_θ

WS 1: {v_sleep:_θ:_pres, sleep_ø} colorless_θ green_θ ideas INFL_v furiously_v

WS 2: {colorless_θ, {ideas, {green_θ, ideas}}} {v_sleep:_θ:_pres, sleep_ø} INFL_v furiously_v [gray]

WS 3: {colorless_θ, ideas} {ideas, {v_sleep:_θ:_pres, sleep_ø}} green_θ INFL_v furiously_v [gray]

WS 4: {INFL_v, {furiously_v, {ideas, {v_sleep:_θ:_pres, sleep_ø}}}} colorless_θ green_θ [gray]

WS 5: {green_θ, ideas} {INFL_v, {furiously_v, {ideas, {v_sleep:_θ:_pres, sleep_ø}}}} colorless_θ