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

Help: blue = parse inside. Abbr.: WS: Workspace; Initial WS: initial heads for Merge after LEX lookup.
×

Words: who saw John
Initial WS 1: John seeθ vsee:θ:pst INFLv who 
WS 1: {seeθ, John} vsee:θ:pst INFLv who 
WS 2: {vsee:θ:pst, {seeθ, John}} INFLv who 
WS 3: {who, {vsee:θ:pst, {seeθ, John}}} INFLv
WS 4: {INFLv, {who, {vsee:θ:pst, {seeθ, John}}}} 
Final WS: {CQ:left(who), {INFLv, {who, {vsee:θ:pst, {seeθ, John}}}}} 
INT/EXT: {CQ:left(who), {INFLv, {who, {vsee:θ:pst, {seeθ, John}}}}}
EXT: who →→ 3sg pst see John
Spellout: who 3sg pst see John
Spellout: who saw John
Parse found: who →→ 3sg pst see John
WS 1: {seeθ, John} vsee:θ:pst INFLv who 
WS 2: {vsee:θ:pst, {seeθ, John}} INFLv who [gray]
WS 3: {John, {vsee:θ:pst, {seeθ, John}}} INFLv who 
WS 4: {INFLv, {John, {vsee:θ:pst, {seeθ, John}}}} who 
WS 1: {seeθ, who} John vsee:θ:pst INFLv
WS 2: {vsee:θ:pst:box(who), {seeθ, who}} John INFLv
WS 3: {John, {vsee:θ:pst:box(who), {seeθ, who}}} INFLv
WS 4: {INFLv, {John, {vsee:θ:pst:box(who), {seeθ, who}}}} 
Final WS: {CQ:left(who), {INFLv, {John, {vsee:θ:pst:box(who), {seeθ, who}}}}} 
INT/EXT: {CQ:left(who), {INFLv, {John, {vsee:θ:pst:box(who), {seeθ, who}}}}}
EXT: who null pst see →→ John 3sg pst see
Spellout: who 3sg pst do John see
Spellout: who did John see
Blocked: inconsistent with input!
WS 1: {seeθ, who} John vsee:θ:pst INFLv
WS 2: {vsee:θ:pst:box(who), {seeθ, who}} John INFLv [gray]
WS 3: {who, {vsee:θ:pst:box(who), {seeθ, who}}} John INFLv
WS 4: {INFLv, {who, {vsee:θ:pst:box(who), {seeθ, who}}}} John 
WS 1: {Johnwho} seeθ vsee:θ:pst INFLv
WS 2: {seeθ, {Johnwho}} vsee:θ:pst INFLv
WS 3: {vsee:θ:pst:box(who), {seeθ, {Johnwho}}} INFLv
WS 4: {{Johnwho}, {vsee:θ:pst:box(who), {seeθ, {Johnwho}}}} INFLv
WS 5: {INFLv, {{Johnwho}, {vsee:θ:pst:box(who), {seeθ, {Johnwho}}}}} 
Initial WS 2: John sawθ vsaw:θ:pres INFLv who 
WS 1: {sawθ, John} vsaw:θ:pres INFLv who 
WS 2: {vsaw:θ:pres, {sawθ, John}} INFLv who 
WS 3: {who, {vsaw:θ:pres, {sawθ, John}}} INFLv
WS 4: {INFLv, {who, {vsaw:θ:pres, {sawθ, John}}}} 
Final WS: {CQ:left(who), {INFLv, {who, {vsaw:θ:pres, {sawθ, John}}}}} 
INT/EXT: {CQ:left(who), {INFLv, {who, {vsaw:θ:pres, {sawθ, John}}}}}
EXT: who →→ 3sg pres saw John
Spellout: who 3sg pres saw John
Spellout: who saws John
Blocked: inconsistent with input!
WS 1: {sawθ, John} vsaw:θ:pres INFLv who 
WS 2: {vsaw:θ:pres, {sawθ, John}} INFLv who [gray]
WS 3: {John, {vsaw:θ:pres, {sawθ, John}}} INFLv who 
WS 4: {INFLv, {John, {vsaw:θ:pres, {sawθ, John}}}} who 
WS 1: {sawθ, who} John vsaw:θ:pres INFLv
WS 2: {vsaw:θ:pres:box(who), {sawθ, who}} John INFLv
WS 3: {John, {vsaw:θ:pres:box(who), {sawθ, who}}} INFLv
WS 4: {INFLv, {John, {vsaw:θ:pres:box(who), {sawθ, who}}}} 
Final WS: {CQ:left(who), {INFLv, {John, {vsaw:θ:pres:box(who), {sawθ, who}}}}} 
INT/EXT: {CQ:left(who), {INFLv, {John, {vsaw:θ:pres:box(who), {sawθ, who}}}}}
EXT: who null pres saw →→ John 3sg pres saw
Spellout: who 3sg pres do John saw
Spellout: who does John saw
Blocked: inconsistent with input!
WS 1: {sawθ, who} John vsaw:θ:pres INFLv
WS 2: {vsaw:θ:pres:box(who), {sawθ, who}} John INFLv [gray]
WS 3: {who, {vsaw:θ:pres:box(who), {sawθ, who}}} John INFLv
WS 4: {INFLv, {who, {vsaw:θ:pres:box(who), {sawθ, who}}}} John 
WS 1: {Johnwho} sawθ vsaw:θ:pres INFLv
WS 2: {sawθ, {Johnwho}} vsaw:θ:pres INFLv
WS 3: {vsaw:θ:pres:box(who), {sawθ, {Johnwho}}} INFLv
WS 4: {{Johnwho}, {vsaw:θ:pres:box(who), {sawθ, {Johnwho}}}} INFLv
WS 5: {INFLv, {{Johnwho}, {vsaw:θ:pres:box(who), {sawθ, {Johnwho}}}}} 
Initial WS 3: John sawθ vsaw:θ:nonf who 
WS 1: {sawθ, John} vsaw:θ:nonf who 
WS 2: {vsaw:θ:nonf, {sawθ, John}} who 
WS 3: {who, {vsaw:θ:nonf, {sawθ, John}}} 
WS 1: {sawθ, John} vsaw:θ:nonf who 
WS 2: {vsaw:θ:nonf, {sawθ, John}} who [gray]
WS 3: {John, {vsaw:θ:nonf, {sawθ, John}}} who 
WS 1: {sawθ, who} John vsaw:θ:nonf
WS 2: {vsaw:θ:nonf:box(who), {sawθ, who}} John 
WS 3: {John, {vsaw:θ:nonf:box(who), {sawθ, who}}} 
WS 1: {sawθ, who} John vsaw:θ:nonf
WS 2: {vsaw:θ:nonf:box(who), {sawθ, who}} John [gray]
WS 3: {who, {vsaw:θ:nonf:box(who), {sawθ, who}}} John 
WS 1: {Johnwho} sawθ vsaw:θ:nonf
WS 2: {sawθ, {Johnwho}} vsaw:θ:nonf
WS 3: {vsaw:θ:nonf:box(who), {sawθ, {Johnwho}}} 
Initial WS 4: John seeθ vsee:θ:pst INFLv Crel:who
WS 1: {seeθ, John} vsee:θ:pst INFLv Crel:who
WS 2: {vsee:θ:pst, {seeθ, John}} INFLv Crel:who
WS 3: {John, {vsee:θ:pst, {seeθ, John}}} INFLv Crel:who
WS 4: {INFLv, {John, {vsee:θ:pst, {seeθ, John}}}} Crel:who
Initial WS 5: John sawθ vsaw:θ:pres INFLv Crel:who
WS 1: {sawθ, John} vsaw:θ:pres INFLv Crel:who
WS 2: {vsaw:θ:pres, {sawθ, John}} INFLv Crel:who
WS 3: {John, {vsaw:θ:pres, {sawθ, John}}} INFLv Crel:who
WS 4: {INFLv, {John, {vsaw:θ:pres, {sawθ, John}}}} Crel:who
Initial WS 6: John sawθ vsaw:θ:nonf Crel:who
WS 1: {sawθ, John} vsaw:θ:nonf Crel:who
WS 2: {vsaw:θ:nonf, {sawθ, John}} Crel:who
WS 3: {John, {vsaw:θ:nonf, {sawθ, John}}} Crel:who