[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 met Bill
Initial WS 1: Bill meetθ vmeet:θ:pst INFLv John 
WS 1: {meetθ, Bill} vmeet:θ:pst INFLv John 
WS 2: {vmeet:θ:pst, {meetθ, Bill}} INFLv John 
WS 3: {John, {vmeet:θ:pst, {meetθ, Bill}}} INFLv
WS 4: {John, {INFLv, {John, {vmeet:θ:pst, {meetθ, Bill}}}}} 
Final WS: {C, {John, {INFLv, {John, {vmeet:θ:pst, {meetθ, Bill}}}}}} 
INT/EXT: {C, {John, {INFLv, {John, {vmeet:θ:pst, {meetθ, Bill}}}}}}
Initial Spellout: John 3sg pst meet Bill
Spellout: John met Bill
Parse found: John met Bill
WS 1: {meetθ, John} Bill vmeet:θ:pst INFLv
WS 2: {vmeet:θ:pst, {meetθ, John}} Bill INFLv
WS 3: {Bill, {vmeet:θ:pst, {meetθ, John}}} INFLv
WS 4: {Bill, {INFLv, {Bill, {vmeet:θ:pst, {meetθ, John}}}}} 
Final WS: {C, {Bill, {INFLv, {Bill, {vmeet:θ:pst, {meetθ, John}}}}}} 
INT/EXT: {C, {Bill, {INFLv, {Bill, {vmeet:θ:pst, {meetθ, John}}}}}}
Initial Spellout: Bill 3sg pst meet John
Spellout: Bill met John
Error: inconsistent spellout
WS 1: {vmeet:θ:pst, meetθ} Bill INFLv John 
WS fail: WS θS 1 < θR 2