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