[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:

(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.
×

Words: revolutionary new ideas appear infrequently
Initial WS 1: infrequentlyv appearθ vappear:pres INFLv ideas newθ revolutionaryθ
WS 1: {appearθ, {ideas, {{newθ, ideas}{revolutionaryθ, ideas}}}} infrequentlyv vappear:pres INFLv
WS 2: {vappear:pres, {appearθ, {ideas, {{newθ, ideas}{revolutionaryθ, ideas}}}}} infrequentlyv INFLv
WS 3: {infrequentlyv, {vappear:pres, {appearθ, {ideas, {{newθ, ideas}{revolutionaryθ, ideas}}}}}} INFLv
WS 4: {INFLv, {infrequentlyv, {vappear:pres, {appearθ, {ideas, {{newθ, ideas}{revolutionaryθ, ideas}}}}}}} 
Final WS: {C, {INFLv, {infrequentlyv, {vappear:pres, {appearθ, {ideas, {{newθ, ideas}{revolutionaryθ, ideas}}}}}}}} 
INT/EXT: {C, {INFLv, {infrequentlyv, {vappear:pres, {appearθ, {ideas, {{newθ, ideas}, {revolutionaryθ, ideas}}}}}}}}
EXT: {new,[and],revolutionary} ideas infrequently 3pl pres appear
Spellout: {new,[and],revolutionary} ideas infrequently appear
Blocked: inconsistent with input!
EXT: {new,[and],revolutionary} ideas 3pl pres appear infrequently
Spellout: {new,[and],revolutionary} ideas appear infrequently
Parse found: {new,[and],revolutionary} ideas 3pl pres appear infrequently
EXT: there infrequently 3pl pres appear {new,[and],revolutionary} ideas
Spellout: there infrequently appear {new,[and],revolutionary} ideas
Blocked: inconsistent with input!
EXT: there 3pl pres appear {new,[and],revolutionary} ideas infrequently
Spellout: there appear {new,[and],revolutionary} ideas infrequently
Blocked: inconsistent with input!
WS 1: {appearθ, {ideas, {{newθ, ideas}{revolutionaryθ, ideas}}}} infrequentlyv vappear:pres INFLv
WS 2: {vappear:pres, {appearθ, {ideas, {{newθ, ideas}{revolutionaryθ, ideas}}}}} infrequentlyv INFLv [gray]
WS 3: {INFLv, {vappear:pres, {appearθ, {ideas, {{newθ, ideas}{revolutionaryθ, ideas}}}}}} infrequentlyv
WS 1: {appearθ, {{newθ, {ideas, {revolutionaryθ, ideas}}}, {ideas, {revolutionaryθ, ideas}}}} infrequentlyv vappear:pres INFLv
WS 2: {vappear:pres, {appearθ, {{newθ, {ideas, {revolutionaryθ, ideas}}}, {ideas, {revolutionaryθ, ideas}}}}} infrequentlyv INFLv
WS 3: {infrequentlyv, {vappear:pres, {appearθ, {{newθ, {ideas, {revolutionaryθ, ideas}}}, {ideas, {revolutionaryθ, ideas}}}}}} INFLv
WS 4: {INFLv, {infrequentlyv, {vappear:pres, {appearθ, {{newθ, {ideas, {revolutionaryθ, ideas}}}, {ideas, {revolutionaryθ, ideas}}}}}}} 
Final WS: {C, {INFLv, {infrequentlyv, {vappear:pres, {appearθ, {{newθ, {ideas, {revolutionaryθ, ideas}}}, {ideas, {revolutionaryθ, ideas}}}}}}}} 
INT/EXT: {C, {INFLv, {infrequentlyv, {vappear:pres, {appearθ, {{newθ, {ideas,{revolutionaryθ:,ideas}}}, {ideas, {revolutionaryθ, ideas}}}}}}}}
WS 1: {appearθ, {{newθ, {ideas, {revolutionaryθ, ideas}}}, {ideas, {revolutionaryθ, ideas}}}} infrequentlyv vappear:pres INFLv
WS 2: {vappear:pres, {appearθ, {{newθ, {ideas, {revolutionaryθ, ideas}}}, {ideas, {revolutionaryθ, ideas}}}}} infrequentlyv INFLv [gray]
WS 3: {INFLv, {vappear:pres, {appearθ, {{newθ, {ideas, {revolutionaryθ, ideas}}}, {ideas, {revolutionaryθ, ideas}}}}}} infrequentlyv
WS 1: {appearθ, {ideas, {newθ, ideas}}} infrequentlyv vappear:pres INFLv revolutionaryθ
WS 2: {vappear:pres, {appearθ, {ideas, {newθ, ideas}}}} infrequentlyv INFLv revolutionaryθ
WS 3: {revolutionaryθ, {ideas, {newθ, ideas}}} {vappear:pres, {appearθ, {ideas, {newθ, ideas}}}} infrequentlyv INFLv
WS 1: {appearθ, {ideas, {newθ, ideas}}} infrequentlyv vappear:pres INFLv revolutionaryθ
WS 2: {vappear:pres, {appearθ, {ideas, {newθ, ideas}}}} infrequentlyv INFLv revolutionaryθ [gray]
WS 3: {infrequentlyv, {vappear:pres, {appearθ, {ideas, {newθ, ideas}}}}} INFLv revolutionaryθ
WS 4: {INFLv, {infrequentlyv, {vappear:pres, {appearθ, {ideas, {newθ, ideas}}}}}} revolutionaryθ
WS 5: {revolutionaryθ, {ideas, {newθ, ideas}}} {INFLv, {infrequentlyv, {vappear:pres, {appearθ, {ideas, {newθ, ideas}}}}}} 
WS 1: {appearθ, {ideas, {newθ, ideas}}} infrequentlyv vappear:pres INFLv revolutionaryθ
WS 2: {vappear:pres, {appearθ, {ideas, {newθ, ideas}}}} infrequentlyv INFLv revolutionaryθ [gray]
WS 3: {INFLv, {vappear:pres, {appearθ, {ideas, {newθ, ideas}}}}} infrequentlyv revolutionaryθ
WS 4: {revolutionaryθ, {ideas, {newθ, ideas}}} {INFLv, {vappear:pres, {appearθ, {ideas, {newθ, ideas}}}}} infrequentlyv
WS 1: {appearθ, {{revolutionaryθ, {ideas, {newθ, ideas}}}, {ideas, {newθ, ideas}}}} infrequentlyv vappear:pres INFLv
WS 2: {vappear:pres, {appearθ, {{revolutionaryθ, {ideas, {newθ, ideas}}}, {ideas, {newθ, ideas}}}}} infrequentlyv INFLv
WS 3: {infrequentlyv, {vappear:pres, {appearθ, {{revolutionaryθ, {ideas, {newθ, ideas}}}, {ideas, {newθ, ideas}}}}}} INFLv
WS 4: {INFLv, {infrequentlyv, {vappear:pres, {appearθ, {{revolutionaryθ, {ideas, {newθ, ideas}}}, {ideas, {newθ, ideas}}}}}}} 
Final WS: {C, {INFLv, {infrequentlyv, {vappear:pres, {appearθ, {{revolutionaryθ, {ideas, {newθ, ideas}}}, {ideas, {newθ, ideas}}}}}}}} 
INT/EXT: {C, {INFLv, {infrequentlyv, {vappear:pres, {appearθ, {{revolutionaryθ, {ideas,{newθ:,ideas}}}, {ideas, {newθ, ideas}}}}}}}}
WS 1: {appearθ, {{revolutionaryθ, {ideas, {newθ, ideas}}}, {ideas, {newθ, ideas}}}} infrequentlyv vappear:pres INFLv
WS 2: {vappear:pres, {appearθ, {{revolutionaryθ, {ideas, {newθ, ideas}}}, {ideas, {newθ, ideas}}}}} infrequentlyv INFLv [gray]
WS 3: {INFLv, {vappear:pres, {appearθ, {{revolutionaryθ, {ideas, {newθ, ideas}}}, {ideas, {newθ, ideas}}}}}} infrequentlyv
WS 1: {appearθ, {ideas, {revolutionaryθ, ideas}}} infrequentlyv vappear:pres INFLv newθ
WS 2: {vappear:pres, {appearθ, {ideas, {revolutionaryθ, ideas}}}} infrequentlyv INFLv newθ
WS 3: {newθ, {ideas, {revolutionaryθ, ideas}}} {vappear:pres, {appearθ, {ideas, {revolutionaryθ, ideas}}}} infrequentlyv INFLv
WS 1: {appearθ, {ideas, {revolutionaryθ, ideas}}} infrequentlyv vappear:pres INFLv newθ
WS 2: {vappear:pres, {appearθ, {ideas, {revolutionaryθ, ideas}}}} infrequentlyv INFLv newθ [gray]
WS 3: {infrequentlyv, {vappear:pres, {appearθ, {ideas, {revolutionaryθ, ideas}}}}} INFLv newθ
WS 4: {INFLv, {infrequentlyv, {vappear:pres, {appearθ, {ideas, {revolutionaryθ, ideas}}}}}} newθ
WS 5: {newθ, {ideas, {revolutionaryθ, ideas}}} {INFLv, {infrequentlyv, {vappear:pres, {appearθ, {ideas, {revolutionaryθ, ideas}}}}}} 
WS 1: {appearθ, {ideas, {revolutionaryθ, ideas}}} infrequentlyv vappear:pres INFLv newθ
WS 2: {vappear:pres, {appearθ, {ideas, {revolutionaryθ, ideas}}}} infrequentlyv INFLv newθ [gray]
WS 3: {INFLv, {vappear:pres, {appearθ, {ideas, {revolutionaryθ, ideas}}}}} infrequentlyv newθ
WS 4: {newθ, {ideas, {revolutionaryθ, ideas}}} {INFLv, {vappear:pres, {appearθ, {ideas, {revolutionaryθ, ideas}}}}} infrequentlyv
WS 1: {appearθ, ideas} infrequentlyv vappear:pres INFLv newθ revolutionaryθ
WS 2: {vappear:pres, {appearθ, ideas}} infrequentlyv INFLv newθ revolutionaryθ
WS 3: {newθ, ideas} {vappear:pres, {appearθ, ideas}} infrequentlyv INFLv revolutionaryθ
WS 1: {appearθ, ideas} infrequentlyv vappear:pres INFLv newθ revolutionaryθ
WS 2: {vappear:pres, {appearθ, ideas}} infrequentlyv INFLv newθ revolutionaryθ [gray]
WS 3: {revolutionaryθ, ideas} {vappear:pres, {appearθ, ideas}} infrequentlyv INFLv newθ
WS 1: {appearθ, ideas} infrequentlyv vappear:pres INFLv newθ revolutionaryθ
WS 2: {vappear:pres, {appearθ, ideas}} infrequentlyv INFLv newθ revolutionaryθ [gray]
WS 3: {infrequentlyv, {vappear:pres, {appearθ, ideas}}} INFLv newθ revolutionaryθ
WS 4: {INFLv, {infrequentlyv, {vappear:pres, {appearθ, ideas}}}} newθ revolutionaryθ
WS 5: {newθ, ideas} {INFLv, {infrequentlyv, {vappear:pres, {appearθ, ideas}}}} revolutionaryθ
WS 1: {appearθ, ideas} infrequentlyv vappear:pres INFLv newθ revolutionaryθ
WS 2: {vappear:pres, {appearθ, ideas}} infrequentlyv INFLv newθ revolutionaryθ [gray]
WS 3: {newθ, ideas} {vappear:pres, {appearθ, ideas}} infrequentlyv INFLv revolutionaryθ [gray]
WS 4: {INFLv, {infrequentlyv, {vappear:pres, {appearθ, ideas}}}} newθ revolutionaryθ [gray]
WS 5: {revolutionaryθ, ideas} {INFLv, {infrequentlyv, {vappear:pres, {appearθ, ideas}}}} newθ
WS 1: {appearθ, ideas} infrequentlyv vappear:pres INFLv newθ revolutionaryθ
WS 2: {vappear:pres, {appearθ, ideas}} infrequentlyv INFLv newθ revolutionaryθ [gray]
WS 3: {INFLv, {vappear:pres, {appearθ, ideas}}} infrequentlyv newθ revolutionaryθ
WS 4: {newθ, ideas} {INFLv, {vappear:pres, {appearθ, ideas}}} infrequentlyv revolutionaryθ
WS 1: {appearθ, ideas} infrequentlyv vappear:pres INFLv newθ revolutionaryθ
WS 2: {vappear:pres, {appearθ, ideas}} infrequentlyv INFLv newθ revolutionaryθ [gray]
WS 3: {newθ, ideas} {vappear:pres, {appearθ, ideas}} infrequentlyv INFLv revolutionaryθ [gray]
WS 4: {revolutionaryθ, ideas} {INFLv, {vappear:pres, {appearθ, ideas}}} infrequentlyv newθ
WS 1: {newθ, {ideas, {revolutionaryθ, ideas}}} infrequentlyv appearθ vappear:pres INFLv
WS 1: {newθ, ideas} infrequentlyv appearθ vappear:pres INFLv revolutionaryθ
WS 1: {revolutionaryθ, {ideas, {newθ, ideas}}} infrequentlyv appearθ vappear:pres INFLv
WS 1: {revolutionaryθ, ideas} infrequentlyv appearθ vappear:pres INFLv newθ