[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: sandwich a ate John
Initial WS 1: Johna eatθ veat:θ:pst INFLv sandwich 
WS 1: {eatθ, Johna} veat:θ:pst INFLv sandwich 
WS 2: {veat:θ:pst, {eatθ, Johna}} INFLv sandwich 
WS 3: {sandwich, {veat:θ:pst, {eatθ, Johna}}} INFLv
WS 4: {sandwich, {INFLv, {sandwich, {veat:θ:pst, {eatθ, Johna}}}}} 
Final WS: {C, {sandwich, {INFLv, {sandwich, {veat:θ:pst, {eatθ, Johna}}}}}} 
INT/EXT: {C, {sandwich, {INFLv, {sandwich, {veat:θ:pst, {eatθ, Johna}}}}}}
Initial Spellout: sandwich 3sg pst eat a John
Spellout: sandwich ate a John
Error: inconsistent spellout
WS 1: {eatθ, Johna} veat:θ:pst INFLv sandwich 
WS 2: {{eatθ, Johna},veat:θ:pst} INFLv sandwich 
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, sandwich} Johna veat:θ:pst INFLv
WS 2: {veat:θ:pst, {eatθ, sandwich}} Johna INFLv
WS 3: {Johna, {veat:θ:pst, {eatθ, sandwich}}} INFLv
WS 4: {Johna, {INFLv, {Johna, {veat:θ:pst, {eatθ, sandwich}}}}} 
Final WS: {C, {Johna, {INFLv, {Johna, {veat:θ:pst, {eatθ, sandwich}}}}}} 
INT/EXT: {C, {Johna, {INFLv, {Johna, {veat:θ:pst, {eatθ, sandwich}}}}}}
Initial Spellout: a John 3sg pst eat sandwich
Spellout: a John ate sandwich
Error: inconsistent spellout
WS 1: {eatθ, sandwich} Johna veat:θ:pst INFLv
WS 2: {{eatθ, sandwich},veat:θ:pst} Johna INFLv
WS fail: WS θS 0 < θR 1
WS 1: {veat:θ:pst, eatθ} Johna INFLv sandwich 
WS fail: WS θS 1 < θR 2
WS 1: {eatθ,veat:θ:pst} Johna INFLv sandwich 
WS fail: WS θS 0 < θR 2