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

Words: John ate a sandwich
Initial WS 1: sandwicha eatθ veat:θ:pst INFLv John 
WS 1: {eatθ, sandwicha} veat:θ:pst INFLv John 
WS 2: {veat:θ:pst, {eatθ, sandwicha}} INFLv John 
WS 3: {John, {veat:θ:pst, {eatθ, sandwicha}}} INFLv
WS 4: {John, {INFLv, {John, {veat:θ:pst, {eatθ, sandwicha}}}}} 
Final WS: {C, {John, {INFLv, {John, {veat:θ:pst, {eatθ, sandwicha}}}}}} 
INT/EXT: {C, {John, {INFLv, {John, {veat:θ:pst, {eatθ, sandwicha}}}}}}
Initial Spellout: John 3sg pst eat a sandwich
Spellout: John ate a sandwich
Parse found: John ate a sandwich
WS 1: {eatθ, sandwicha} veat:θ:pst INFLv John 
WS 2: {{eatθ, sandwicha},veat:θ:pst} INFLv John 
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwicha veat:θ:pst INFLv
WS 2: {veat:θ:pst, {eatθ, John}} sandwicha INFLv
WS 3: {sandwicha, {veat:θ:pst, {eatθ, John}}} INFLv
WS 4: {sandwicha, {INFLv, {sandwicha, {veat:θ:pst, {eatθ, John}}}}} 
Final WS: {C, {sandwicha, {INFLv, {sandwicha, {veat:θ:pst, {eatθ, John}}}}}} 
INT/EXT: {C, {sandwicha, {INFLv, {sandwicha, {veat:θ:pst, {eatθ, John}}}}}}
Initial Spellout: a sandwich 3sg pst eat John
Spellout: a sandwich ate John
Error: inconsistent spellout
WS 1: {eatθ, John} sandwicha veat:θ:pst INFLv
WS 2: {{eatθ, John},veat:θ:pst} sandwicha INFLv
WS fail: WS θS 0 < θR 1
WS 1: {veat:θ:pst, eatθ} sandwicha INFLv John 
WS fail: WS θS 1 < θR 2
WS 1: {eatθ,veat:θ:pst} sandwicha INFLv John 
WS fail: WS θS 0 < θR 2