[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: sandwich a eatθ veat:θ:pst INFLv John 
WS fail: WS θS 2 < θR 3
Initial WS 2: sandwichθ vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv John 
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 2: {vsandwich:θ:pres, {sandwichθ, a}} INFLv eatθ veat:θ:pst INFLv John 
WS 3: {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv eatθ veat:θ:pst INFLv
WS 4: John {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv eatθ veat:θ:pst INFLv
WS 5: a John {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv eatθ veat:θ:pst INFLv
WS 6: {eatθ, a} John {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv veat:θ:pst INFLv
WS 7: {veat:θ:pst, {eatθ, a}} John {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv INFLv
WS 8: {John, {veat:θ:pst, {eatθ, a}}} {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv INFLv
WS 9: {John, {INFLv, {John, {vsandwich:θ:pres, {sandwichθ, a}}}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 9: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 9: {{John, {veat:θ:pst, {eatθ, a}}},{John, {vsandwich:θ:pres, {sandwichθ, a}}}} INFLv INFLv
WS 10: {John, {INFLv, {{John, {veat:θ:pst, {eatθ, a}}},{John, {vsandwich:θ:pres, {sandwichθ, a}}}}}} 
Final WS: {C, {John, {INFLv, {{John, {veat:θ:pst, {eatθ, a}}},{John, {vsandwich:θ:pres, {sandwichθ, a}}}}}}} 
INT/EXT: {C, {John, {INFLv, {{John, {veat:θ:pst, {eatθ, a}}}, {John, {vsandwich:θ:pres, {sandwichθ, a}}}}}}}
Initial Spellout: John 3sg pst eat a 3sg pres sandwich a
Spellout: John ate a sandwiches a
Error: inconsistent spellout
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{eatθ, a},{John, {vsandwich:θ:pres, {sandwichθ, a}}}} John INFLv veat:θ:pst INFLv
WS 8: {{{eatθ, a},{John, {vsandwich:θ:pres, {sandwichθ, a}}}},veat:θ:pst} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{eatθ, a},veat:θ:pst} John {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{John, {vsandwich:θ:pres, {sandwichθ, a}}},veat:θ:pst} {eatθ, a} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 6: {eatθ, John} a {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv veat:θ:pst INFLv
WS 7: {veat:θ:pst, {eatθ, John}} a {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv INFLv
WS 8: {a, {veat:θ:pst, {eatθ, John}}} {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv INFLv
WS 9: {John, {INFLv, {John, {vsandwich:θ:pres, {sandwichθ, a}}}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 9: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 9: {{a, {veat:θ:pst, {eatθ, John}}},{John, {vsandwich:θ:pres, {sandwichθ, a}}}} INFLv INFLv
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{eatθ, John},{John, {vsandwich:θ:pres, {sandwichθ, a}}}} a INFLv veat:θ:pst INFLv
WS 8: {{{eatθ, John},{John, {vsandwich:θ:pres, {sandwichθ, a}}}},veat:θ:pst} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{eatθ, John},veat:θ:pst} a {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{John, {vsandwich:θ:pres, {sandwichθ, a}}},veat:θ:pst} {eatθ, John} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 6: {John, {INFLv, {John, {vsandwich:θ:pres, {sandwichθ, a}}}}} a John eatθ veat:θ:pst INFLv
WS 7: {eatθ,veat:θ:pst} {John, {INFLv, {John, {vsandwich:θ:pres, {sandwichθ, a}}}}} a John INFLv
WS fail: WS θS 0 < θR 2
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 6: {veat:θ:pst, eatθ} a John {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv INFLv
WS fail: WS θS 1 < θR 2
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 6: {{John, {vsandwich:θ:pres, {sandwichθ, a}}},eatθ} a John INFLv veat:θ:pst INFLv
WS fail: WS θS 1 < θR 2
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 6: {eatθ,veat:θ:pst} a John {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 2
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 5: {eatθ, John} {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv veat:θ:pst INFLv
WS 6: John {eatθ, John} {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv veat:θ:pst INFLv
WS 7: {John, {INFLv, {John, {vsandwich:θ:pres, {sandwichθ, a}}}}} John {eatθ, John} veat:θ:pst INFLv
WS 8: {{eatθ, John},veat:θ:pst} {John, {INFLv, {John, {vsandwich:θ:pres, {sandwichθ, a}}}}} John INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 7: {veat:θ:pst, {eatθ, John}} John {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv INFLv
WS 8: {John, {veat:θ:pst, {eatθ, John}}} {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv INFLv
WS 9: {John, {INFLv, {John, {vsandwich:θ:pres, {sandwichθ, a}}}}} {John, {veat:θ:pst, {eatθ, John}}} INFLv
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 9: {John, {INFLv, {John, {veat:θ:pst, {eatθ, John}}}}} {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 9: {{John, {veat:θ:pst, {eatθ, John}}},{John, {vsandwich:θ:pres, {sandwichθ, a}}}} INFLv INFLv
WS 10: {John, {INFLv, {{John, {veat:θ:pst, {eatθ, John}}},{John, {vsandwich:θ:pres, {sandwichθ, a}}}}}} 
Final WS: {C, {John, {INFLv, {{John, {veat:θ:pst, {eatθ, John}}},{John, {vsandwich:θ:pres, {sandwichθ, a}}}}}}} 
INT/EXT: {C, {John, {INFLv, {{John, {veat:θ:pst, {eatθ, John}}}, {John, {vsandwich:θ:pres, {sandwichθ, a}}}}}}}
Initial Spellout: John 3sg pst eat John 3sg pres sandwich a
Spellout: John ate John sandwiches a
Error: inconsistent spellout
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{eatθ, John},{John, {vsandwich:θ:pres, {sandwichθ, a}}}} John INFLv veat:θ:pst INFLv
WS 8: {{{eatθ, John},{John, {vsandwich:θ:pres, {sandwichθ, a}}}},veat:θ:pst} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{eatθ, John},veat:θ:pst} John {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{John, {vsandwich:θ:pres, {sandwichθ, a}}},veat:θ:pst} John {eatθ, John} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 6: a {eatθ, John} {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv veat:θ:pst INFLv
WS 7: {John, {INFLv, {John, {vsandwich:θ:pres, {sandwichθ, a}}}}} a {eatθ, John} veat:θ:pst INFLv
WS 8: {{eatθ, John},veat:θ:pst} {John, {INFLv, {John, {vsandwich:θ:pres, {sandwichθ, a}}}}} a INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 7: {veat:θ:pst, {eatθ, John}} a {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv INFLv
WS 8: {a, {veat:θ:pst, {eatθ, John}}} {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv INFLv
WS 9: {John, {INFLv, {John, {vsandwich:θ:pres, {sandwichθ, a}}}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 9: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 9: {{a, {veat:θ:pst, {eatθ, John}}},{John, {vsandwich:θ:pres, {sandwichθ, a}}}} INFLv INFLv
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{eatθ, John},{John, {vsandwich:θ:pres, {sandwichθ, a}}}} a INFLv veat:θ:pst INFLv
WS 8: {{{eatθ, John},{John, {vsandwich:θ:pres, {sandwichθ, a}}}},veat:θ:pst} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{eatθ, John},veat:θ:pst} a {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{John, {vsandwich:θ:pres, {sandwichθ, a}}},veat:θ:pst} a {eatθ, John} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 5: {John, {INFLv, {John, {vsandwich:θ:pres, {sandwichθ, a}}}}} John eatθ veat:θ:pst INFLv
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 5: {veat:θ:pst, eatθ} John {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv INFLv
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 4: a {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv eatθ veat:θ:pst INFLv
WS 5: John a {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv eatθ veat:θ:pst INFLv
WS 6: {eatθ, John} a {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv veat:θ:pst INFLv
WS 7: {veat:θ:pst, {eatθ, John}} a {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv INFLv
WS 8: {a, {veat:θ:pst, {eatθ, John}}} {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv INFLv
WS 9: {John, {INFLv, {John, {vsandwich:θ:pres, {sandwichθ, a}}}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 9: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 9: {{a, {veat:θ:pst, {eatθ, John}}},{John, {vsandwich:θ:pres, {sandwichθ, a}}}} INFLv INFLv
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{eatθ, John},{John, {vsandwich:θ:pres, {sandwichθ, a}}}} a INFLv veat:θ:pst INFLv
WS 8: {{{eatθ, John},{John, {vsandwich:θ:pres, {sandwichθ, a}}}},veat:θ:pst} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{eatθ, John},veat:θ:pst} a {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{John, {vsandwich:θ:pres, {sandwichθ, a}}},veat:θ:pst} {eatθ, John} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 6: {eatθ, a} John {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv veat:θ:pst INFLv
WS 7: {veat:θ:pst, {eatθ, a}} John {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv INFLv
WS 8: {John, {veat:θ:pst, {eatθ, a}}} {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv INFLv
WS 9: {John, {INFLv, {John, {vsandwich:θ:pres, {sandwichθ, a}}}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 9: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 9: {{John, {veat:θ:pst, {eatθ, a}}},{John, {vsandwich:θ:pres, {sandwichθ, a}}}} INFLv INFLv
WS 10: {John, {INFLv, {{John, {veat:θ:pst, {eatθ, a}}},{John, {vsandwich:θ:pres, {sandwichθ, a}}}}}} 
Final WS: {C, {John, {INFLv, {{John, {veat:θ:pst, {eatθ, a}}},{John, {vsandwich:θ:pres, {sandwichθ, a}}}}}}} 
INT/EXT: {C, {John, {INFLv, {{John, {veat:θ:pst, {eatθ, a}}}, {John, {vsandwich:θ:pres, {sandwichθ, a}}}}}}}
Initial Spellout: John 3sg pst eat a 3sg pres sandwich a
Spellout: John ate a sandwiches a
Error: inconsistent spellout
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{eatθ, a},{John, {vsandwich:θ:pres, {sandwichθ, a}}}} John INFLv veat:θ:pst INFLv
WS 8: {{{eatθ, a},{John, {vsandwich:θ:pres, {sandwichθ, a}}}},veat:θ:pst} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{eatθ, a},veat:θ:pst} John {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{John, {vsandwich:θ:pres, {sandwichθ, a}}},veat:θ:pst} {eatθ, a} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 6: {John, {INFLv, {John, {vsandwich:θ:pres, {sandwichθ, a}}}}} John a eatθ veat:θ:pst INFLv
WS 7: {eatθ,veat:θ:pst} {John, {INFLv, {John, {vsandwich:θ:pres, {sandwichθ, a}}}}} John a INFLv
WS fail: WS θS 0 < θR 2
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 6: {veat:θ:pst, eatθ} John a {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv INFLv
WS fail: WS θS 1 < θR 2
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 6: {{John, {vsandwich:θ:pres, {sandwichθ, a}}},eatθ} John a INFLv veat:θ:pst INFLv
WS fail: WS θS 1 < θR 2
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 6: {eatθ,veat:θ:pst} John a {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 2
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 5: {eatθ, a} {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv veat:θ:pst INFLv
WS 6: a {eatθ, a} {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv veat:θ:pst INFLv
WS 7: {John, {INFLv, {John, {vsandwich:θ:pres, {sandwichθ, a}}}}} a {eatθ, a} veat:θ:pst INFLv
WS 8: {{eatθ, a},veat:θ:pst} {John, {INFLv, {John, {vsandwich:θ:pres, {sandwichθ, a}}}}} a INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 7: {veat:θ:pst, {eatθ, a}} a {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv INFLv
WS 8: {a, {veat:θ:pst, {eatθ, a}}} {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv INFLv
WS 9: {John, {INFLv, {John, {vsandwich:θ:pres, {sandwichθ, a}}}}} {a, {veat:θ:pst, {eatθ, a}}} INFLv
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 9: {a, {INFLv, {a, {veat:θ:pst, {eatθ, a}}}}} {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 9: {{a, {veat:θ:pst, {eatθ, a}}},{John, {vsandwich:θ:pres, {sandwichθ, a}}}} INFLv INFLv
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{eatθ, a},{John, {vsandwich:θ:pres, {sandwichθ, a}}}} a INFLv veat:θ:pst INFLv
WS 8: {{{eatθ, a},{John, {vsandwich:θ:pres, {sandwichθ, a}}}},veat:θ:pst} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{eatθ, a},veat:θ:pst} a {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{John, {vsandwich:θ:pres, {sandwichθ, a}}},veat:θ:pst} a {eatθ, a} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 6: John {eatθ, a} {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv veat:θ:pst INFLv
WS 7: {John, {INFLv, {John, {vsandwich:θ:pres, {sandwichθ, a}}}}} John {eatθ, a} veat:θ:pst INFLv
WS 8: {{eatθ, a},veat:θ:pst} {John, {INFLv, {John, {vsandwich:θ:pres, {sandwichθ, a}}}}} John INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 7: {veat:θ:pst, {eatθ, a}} John {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv INFLv
WS 8: {John, {veat:θ:pst, {eatθ, a}}} {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv INFLv
WS 9: {John, {INFLv, {John, {vsandwich:θ:pres, {sandwichθ, a}}}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 9: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 9: {{John, {veat:θ:pst, {eatθ, a}}},{John, {vsandwich:θ:pres, {sandwichθ, a}}}} INFLv INFLv
WS 10: {John, {INFLv, {{John, {veat:θ:pst, {eatθ, a}}},{John, {vsandwich:θ:pres, {sandwichθ, a}}}}}} 
Final WS: {C, {John, {INFLv, {{John, {veat:θ:pst, {eatθ, a}}},{John, {vsandwich:θ:pres, {sandwichθ, a}}}}}}} 
INT/EXT: {C, {John, {INFLv, {{John, {veat:θ:pst, {eatθ, a}}}, {John, {vsandwich:θ:pres, {sandwichθ, a}}}}}}}
Initial Spellout: John 3sg pst eat a 3sg pres sandwich a
Spellout: John ate a sandwiches a
Error: inconsistent spellout
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{eatθ, a},{John, {vsandwich:θ:pres, {sandwichθ, a}}}} John INFLv veat:θ:pst INFLv
WS 8: {{{eatθ, a},{John, {vsandwich:θ:pres, {sandwichθ, a}}}},veat:θ:pst} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{eatθ, a},veat:θ:pst} John {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{John, {vsandwich:θ:pres, {sandwichθ, a}}},veat:θ:pst} John {eatθ, a} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 5: {John, {INFLv, {John, {vsandwich:θ:pres, {sandwichθ, a}}}}} a eatθ veat:θ:pst INFLv
WS 1: {sandwichθ, a} vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
WS 5: {veat:θ:pst, eatθ} a {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv INFLv
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 2: {vsandwich:θ:pres, {sandwichθ, John}} INFLv a eatθ veat:θ:pst INFLv
WS 3: {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv eatθ veat:θ:pst INFLv
WS 4: a {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv eatθ veat:θ:pst INFLv
WS 5: John a {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv eatθ veat:θ:pst INFLv
WS 6: {eatθ, John} a {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv veat:θ:pst INFLv
WS 7: {veat:θ:pst, {eatθ, John}} a {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv INFLv
WS 8: {a, {veat:θ:pst, {eatθ, John}}} {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv INFLv
WS 9: {a, {INFLv, {a, {vsandwich:θ:pres, {sandwichθ, John}}}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 9: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 9: {{a, {veat:θ:pst, {eatθ, John}}},{a, {vsandwich:θ:pres, {sandwichθ, John}}}} INFLv INFLv
WS 10: {a, {INFLv, {{a, {veat:θ:pst, {eatθ, John}}},{a, {vsandwich:θ:pres, {sandwichθ, John}}}}}} 
Final WS: {C, {a, {INFLv, {{a, {veat:θ:pst, {eatθ, John}}},{a, {vsandwich:θ:pres, {sandwichθ, John}}}}}}} 
INT/EXT: {C, {a, {INFLv, {{a, {veat:θ:pst, {eatθ, John}}}, {a, {vsandwich:θ:pres, {sandwichθ, John}}}}}}}
Initial Spellout: a 3sg pst eat John 3sg pres sandwich John
Spellout: a ate John sandwiches John
Error: inconsistent spellout
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 7: {{eatθ, John},{a, {vsandwich:θ:pres, {sandwichθ, John}}}} a INFLv veat:θ:pst INFLv
WS 8: {{{eatθ, John},{a, {vsandwich:θ:pres, {sandwichθ, John}}}},veat:θ:pst} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 7: {{eatθ, John},veat:θ:pst} a {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 7: {{a, {vsandwich:θ:pres, {sandwichθ, John}}},veat:θ:pst} {eatθ, John} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 6: {eatθ, a} John {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv veat:θ:pst INFLv
WS 7: {veat:θ:pst, {eatθ, a}} John {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv INFLv
WS 8: {John, {veat:θ:pst, {eatθ, a}}} {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv INFLv
WS 9: {a, {INFLv, {a, {vsandwich:θ:pres, {sandwichθ, John}}}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 9: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 9: {{John, {veat:θ:pst, {eatθ, a}}},{a, {vsandwich:θ:pres, {sandwichθ, John}}}} INFLv INFLv
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 7: {{eatθ, a},{a, {vsandwich:θ:pres, {sandwichθ, John}}}} John INFLv veat:θ:pst INFLv
WS 8: {{{eatθ, a},{a, {vsandwich:θ:pres, {sandwichθ, John}}}},veat:θ:pst} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 7: {{eatθ, a},veat:θ:pst} John {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 7: {{a, {vsandwich:θ:pres, {sandwichθ, John}}},veat:θ:pst} {eatθ, a} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 6: {a, {INFLv, {a, {vsandwich:θ:pres, {sandwichθ, John}}}}} John a eatθ veat:θ:pst INFLv
WS 7: {eatθ,veat:θ:pst} {a, {INFLv, {a, {vsandwich:θ:pres, {sandwichθ, John}}}}} John a INFLv
WS fail: WS θS 0 < θR 2
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 6: {veat:θ:pst, eatθ} John a {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv INFLv
WS fail: WS θS 1 < θR 2
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 6: {{a, {vsandwich:θ:pres, {sandwichθ, John}}},eatθ} John a INFLv veat:θ:pst INFLv
WS fail: WS θS 1 < θR 2
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 6: {eatθ,veat:θ:pst} John a {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 2
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 5: {eatθ, a} {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv veat:θ:pst INFLv
WS 6: a {eatθ, a} {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv veat:θ:pst INFLv
WS 7: {a, {INFLv, {a, {vsandwich:θ:pres, {sandwichθ, John}}}}} a {eatθ, a} veat:θ:pst INFLv
WS 8: {{eatθ, a},veat:θ:pst} {a, {INFLv, {a, {vsandwich:θ:pres, {sandwichθ, John}}}}} a INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 7: {veat:θ:pst, {eatθ, a}} a {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv INFLv
WS 8: {a, {veat:θ:pst, {eatθ, a}}} {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv INFLv
WS 9: {a, {INFLv, {a, {vsandwich:θ:pres, {sandwichθ, John}}}}} {a, {veat:θ:pst, {eatθ, a}}} INFLv
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 9: {a, {INFLv, {a, {veat:θ:pst, {eatθ, a}}}}} {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 9: {{a, {veat:θ:pst, {eatθ, a}}},{a, {vsandwich:θ:pres, {sandwichθ, John}}}} INFLv INFLv
WS 10: {a, {INFLv, {{a, {veat:θ:pst, {eatθ, a}}},{a, {vsandwich:θ:pres, {sandwichθ, John}}}}}} 
Final WS: {C, {a, {INFLv, {{a, {veat:θ:pst, {eatθ, a}}},{a, {vsandwich:θ:pres, {sandwichθ, John}}}}}}} 
INT/EXT: {C, {a, {INFLv, {{a, {veat:θ:pst, {eatθ, a}}}, {a, {vsandwich:θ:pres, {sandwichθ, John}}}}}}}
Initial Spellout: a 3sg pst eat a 3sg pres sandwich John
Spellout: a ate a sandwiches John
Error: inconsistent spellout
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 7: {{eatθ, a},{a, {vsandwich:θ:pres, {sandwichθ, John}}}} a INFLv veat:θ:pst INFLv
WS 8: {{{eatθ, a},{a, {vsandwich:θ:pres, {sandwichθ, John}}}},veat:θ:pst} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 7: {{eatθ, a},veat:θ:pst} a {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 7: {{a, {vsandwich:θ:pres, {sandwichθ, John}}},veat:θ:pst} a {eatθ, a} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 6: John {eatθ, a} {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv veat:θ:pst INFLv
WS 7: {a, {INFLv, {a, {vsandwich:θ:pres, {sandwichθ, John}}}}} John {eatθ, a} veat:θ:pst INFLv
WS 8: {{eatθ, a},veat:θ:pst} {a, {INFLv, {a, {vsandwich:θ:pres, {sandwichθ, John}}}}} John INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 7: {veat:θ:pst, {eatθ, a}} John {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv INFLv
WS 8: {John, {veat:θ:pst, {eatθ, a}}} {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv INFLv
WS 9: {a, {INFLv, {a, {vsandwich:θ:pres, {sandwichθ, John}}}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 9: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 9: {{John, {veat:θ:pst, {eatθ, a}}},{a, {vsandwich:θ:pres, {sandwichθ, John}}}} INFLv INFLv
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 7: {{eatθ, a},{a, {vsandwich:θ:pres, {sandwichθ, John}}}} John INFLv veat:θ:pst INFLv
WS 8: {{{eatθ, a},{a, {vsandwich:θ:pres, {sandwichθ, John}}}},veat:θ:pst} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 7: {{eatθ, a},veat:θ:pst} John {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 7: {{a, {vsandwich:θ:pres, {sandwichθ, John}}},veat:θ:pst} John {eatθ, a} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 5: {a, {INFLv, {a, {vsandwich:θ:pres, {sandwichθ, John}}}}} a eatθ veat:θ:pst INFLv
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 5: {veat:θ:pst, eatθ} a {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv INFLv
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 4: John {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv eatθ veat:θ:pst INFLv
WS 5: a John {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv eatθ veat:θ:pst INFLv
WS 6: {eatθ, a} John {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv veat:θ:pst INFLv
WS 7: {veat:θ:pst, {eatθ, a}} John {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv INFLv
WS 8: {John, {veat:θ:pst, {eatθ, a}}} {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv INFLv
WS 9: {a, {INFLv, {a, {vsandwich:θ:pres, {sandwichθ, John}}}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 9: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 9: {{John, {veat:θ:pst, {eatθ, a}}},{a, {vsandwich:θ:pres, {sandwichθ, John}}}} INFLv INFLv
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 7: {{eatθ, a},{a, {vsandwich:θ:pres, {sandwichθ, John}}}} John INFLv veat:θ:pst INFLv
WS 8: {{{eatθ, a},{a, {vsandwich:θ:pres, {sandwichθ, John}}}},veat:θ:pst} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 7: {{eatθ, a},veat:θ:pst} John {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 7: {{a, {vsandwich:θ:pres, {sandwichθ, John}}},veat:θ:pst} {eatθ, a} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 6: {eatθ, John} a {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv veat:θ:pst INFLv
WS 7: {veat:θ:pst, {eatθ, John}} a {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv INFLv
WS 8: {a, {veat:θ:pst, {eatθ, John}}} {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv INFLv
WS 9: {a, {INFLv, {a, {vsandwich:θ:pres, {sandwichθ, John}}}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 9: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 9: {{a, {veat:θ:pst, {eatθ, John}}},{a, {vsandwich:θ:pres, {sandwichθ, John}}}} INFLv INFLv
WS 10: {a, {INFLv, {{a, {veat:θ:pst, {eatθ, John}}},{a, {vsandwich:θ:pres, {sandwichθ, John}}}}}} 
Final WS: {C, {a, {INFLv, {{a, {veat:θ:pst, {eatθ, John}}},{a, {vsandwich:θ:pres, {sandwichθ, John}}}}}}} 
INT/EXT: {C, {a, {INFLv, {{a, {veat:θ:pst, {eatθ, John}}}, {a, {vsandwich:θ:pres, {sandwichθ, John}}}}}}}
Initial Spellout: a 3sg pst eat John 3sg pres sandwich John
Spellout: a ate John sandwiches John
Error: inconsistent spellout
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 7: {{eatθ, John},{a, {vsandwich:θ:pres, {sandwichθ, John}}}} a INFLv veat:θ:pst INFLv
WS 8: {{{eatθ, John},{a, {vsandwich:θ:pres, {sandwichθ, John}}}},veat:θ:pst} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 7: {{eatθ, John},veat:θ:pst} a {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 7: {{a, {vsandwich:θ:pres, {sandwichθ, John}}},veat:θ:pst} {eatθ, John} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 6: {a, {INFLv, {a, {vsandwich:θ:pres, {sandwichθ, John}}}}} a John eatθ veat:θ:pst INFLv
WS 7: {eatθ,veat:θ:pst} {a, {INFLv, {a, {vsandwich:θ:pres, {sandwichθ, John}}}}} a John INFLv
WS fail: WS θS 0 < θR 2
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 6: {veat:θ:pst, eatθ} a John {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv INFLv
WS fail: WS θS 1 < θR 2
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 6: {{a, {vsandwich:θ:pres, {sandwichθ, John}}},eatθ} a John INFLv veat:θ:pst INFLv
WS fail: WS θS 1 < θR 2
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 6: {eatθ,veat:θ:pst} a John {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 2
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 5: {eatθ, John} {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv veat:θ:pst INFLv
WS 6: John {eatθ, John} {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv veat:θ:pst INFLv
WS 7: {a, {INFLv, {a, {vsandwich:θ:pres, {sandwichθ, John}}}}} John {eatθ, John} veat:θ:pst INFLv
WS 8: {{eatθ, John},veat:θ:pst} {a, {INFLv, {a, {vsandwich:θ:pres, {sandwichθ, John}}}}} John INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 7: {veat:θ:pst, {eatθ, John}} John {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv INFLv
WS 8: {John, {veat:θ:pst, {eatθ, John}}} {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv INFLv
WS 9: {a, {INFLv, {a, {vsandwich:θ:pres, {sandwichθ, John}}}}} {John, {veat:θ:pst, {eatθ, John}}} INFLv
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 9: {John, {INFLv, {John, {veat:θ:pst, {eatθ, John}}}}} {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 9: {{John, {veat:θ:pst, {eatθ, John}}},{a, {vsandwich:θ:pres, {sandwichθ, John}}}} INFLv INFLv
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 7: {{eatθ, John},{a, {vsandwich:θ:pres, {sandwichθ, John}}}} John INFLv veat:θ:pst INFLv
WS 8: {{{eatθ, John},{a, {vsandwich:θ:pres, {sandwichθ, John}}}},veat:θ:pst} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 7: {{eatθ, John},veat:θ:pst} John {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 7: {{a, {vsandwich:θ:pres, {sandwichθ, John}}},veat:θ:pst} John {eatθ, John} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 6: a {eatθ, John} {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv veat:θ:pst INFLv
WS 7: {a, {INFLv, {a, {vsandwich:θ:pres, {sandwichθ, John}}}}} a {eatθ, John} veat:θ:pst INFLv
WS 8: {{eatθ, John},veat:θ:pst} {a, {INFLv, {a, {vsandwich:θ:pres, {sandwichθ, John}}}}} a INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 7: {veat:θ:pst, {eatθ, John}} a {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv INFLv
WS 8: {a, {veat:θ:pst, {eatθ, John}}} {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv INFLv
WS 9: {a, {INFLv, {a, {vsandwich:θ:pres, {sandwichθ, John}}}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 9: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 9: {{a, {veat:θ:pst, {eatθ, John}}},{a, {vsandwich:θ:pres, {sandwichθ, John}}}} INFLv INFLv
WS 10: {a, {INFLv, {{a, {veat:θ:pst, {eatθ, John}}},{a, {vsandwich:θ:pres, {sandwichθ, John}}}}}} 
Final WS: {C, {a, {INFLv, {{a, {veat:θ:pst, {eatθ, John}}},{a, {vsandwich:θ:pres, {sandwichθ, John}}}}}}} 
INT/EXT: {C, {a, {INFLv, {{a, {veat:θ:pst, {eatθ, John}}}, {a, {vsandwich:θ:pres, {sandwichθ, John}}}}}}}
Initial Spellout: a 3sg pst eat John 3sg pres sandwich John
Spellout: a ate John sandwiches John
Error: inconsistent spellout
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 7: {{eatθ, John},{a, {vsandwich:θ:pres, {sandwichθ, John}}}} a INFLv veat:θ:pst INFLv
WS 8: {{{eatθ, John},{a, {vsandwich:θ:pres, {sandwichθ, John}}}},veat:θ:pst} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 7: {{eatθ, John},veat:θ:pst} a {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 7: {{a, {vsandwich:θ:pres, {sandwichθ, John}}},veat:θ:pst} a {eatθ, John} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 5: {a, {INFLv, {a, {vsandwich:θ:pres, {sandwichθ, John}}}}} John eatθ veat:θ:pst INFLv
WS 1: {sandwichθ, John} vsandwich:θ:pres INFLv a eatθ veat:θ:pst INFLv
WS 5: {veat:θ:pst, eatθ} John {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 2: {veat:θ:pst, {eatθ, a}} sandwichθ vsandwich:θ:pres INFLv INFLv John 
WS 3: {John, {veat:θ:pst, {eatθ, a}}} sandwichθ vsandwich:θ:pres INFLv INFLv
WS 4: John {John, {veat:θ:pst, {eatθ, a}}} sandwichθ vsandwich:θ:pres INFLv INFLv
WS 5: a John {John, {veat:θ:pst, {eatθ, a}}} sandwichθ vsandwich:θ:pres INFLv INFLv
WS 6: {sandwichθ, a} John {John, {veat:θ:pst, {eatθ, a}}} vsandwich:θ:pres INFLv INFLv
WS 7: {vsandwich:θ:pres, {sandwichθ, a}} John {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS 8: {John, {vsandwich:θ:pres, {sandwichθ, a}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS 9: {John, {INFLv, {John, {vsandwich:θ:pres, {sandwichθ, a}}}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 9: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 9: {{John, {vsandwich:θ:pres, {sandwichθ, a}}},{John, {veat:θ:pst, {eatθ, a}}}} INFLv INFLv
WS 10: {John, {INFLv, {{John, {vsandwich:θ:pres, {sandwichθ, a}}},{John, {veat:θ:pst, {eatθ, a}}}}}} 
Final WS: {C, {John, {INFLv, {{John, {vsandwich:θ:pres, {sandwichθ, a}}},{John, {veat:θ:pst, {eatθ, a}}}}}}} 
INT/EXT: {C, {John, {INFLv, {{John, {vsandwich:θ:pres, {sandwichθ, a}}}, {John, {veat:θ:pst, {eatθ, a}}}}}}}
Initial Spellout: John 3sg pres sandwich a 3sg pst eat a
Spellout: John sandwiches a ate a
Error: inconsistent spellout
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 7: {{sandwichθ, a},{John, {veat:θ:pst, {eatθ, a}}}} John vsandwich:θ:pres INFLv INFLv
WS 8: {{{sandwichθ, a},{John, {veat:θ:pst, {eatθ, a}}}},vsandwich:θ:pres} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 7: {{sandwichθ, a},vsandwich:θ:pres} John {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 7: {{John, {veat:θ:pst, {eatθ, a}}},vsandwich:θ:pres} {sandwichθ, a} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 6: {sandwichθ, John} a {John, {veat:θ:pst, {eatθ, a}}} vsandwich:θ:pres INFLv INFLv
WS 7: {vsandwich:θ:pres, {sandwichθ, John}} a {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS 8: {a, {vsandwich:θ:pres, {sandwichθ, John}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS 9: {a, {INFLv, {a, {vsandwich:θ:pres, {sandwichθ, John}}}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 9: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 9: {{a, {vsandwich:θ:pres, {sandwichθ, John}}},{John, {veat:θ:pst, {eatθ, a}}}} INFLv INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 7: {{sandwichθ, John},{John, {veat:θ:pst, {eatθ, a}}}} a vsandwich:θ:pres INFLv INFLv
WS 8: {{{sandwichθ, John},{John, {veat:θ:pst, {eatθ, a}}}},vsandwich:θ:pres} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 7: {{sandwichθ, John},vsandwich:θ:pres} a {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 7: {{John, {veat:θ:pst, {eatθ, a}}},vsandwich:θ:pres} {sandwichθ, John} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 6: {vsandwich:θ:pres, sandwichθ} a John {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS fail: WS θS 1 < θR 2
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 6: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} a John sandwichθ vsandwich:θ:pres INFLv
WS 7: {sandwichθ,vsandwich:θ:pres} {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} a John INFLv
WS fail: WS θS 0 < θR 2
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 6: {{John, {veat:θ:pst, {eatθ, a}}},sandwichθ} a John vsandwich:θ:pres INFLv INFLv
WS fail: WS θS 1 < θR 2
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 6: {sandwichθ,vsandwich:θ:pres} a John {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 2
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 5: {sandwichθ, John} {John, {veat:θ:pst, {eatθ, a}}} vsandwich:θ:pres INFLv INFLv
WS 6: John {sandwichθ, John} {John, {veat:θ:pst, {eatθ, a}}} vsandwich:θ:pres INFLv INFLv
WS 7: {vsandwich:θ:pres, {sandwichθ, John}} John {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS 8: {John, {vsandwich:θ:pres, {sandwichθ, John}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS 9: {John, {INFLv, {John, {vsandwich:θ:pres, {sandwichθ, John}}}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 9: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} {John, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 9: {{John, {vsandwich:θ:pres, {sandwichθ, John}}},{John, {veat:θ:pst, {eatθ, a}}}} INFLv INFLv
WS 10: {John, {INFLv, {{John, {vsandwich:θ:pres, {sandwichθ, John}}},{John, {veat:θ:pst, {eatθ, a}}}}}} 
Final WS: {C, {John, {INFLv, {{John, {vsandwich:θ:pres, {sandwichθ, John}}},{John, {veat:θ:pst, {eatθ, a}}}}}}} 
INT/EXT: {C, {John, {INFLv, {{John, {vsandwich:θ:pres, {sandwichθ, John}}}, {John, {veat:θ:pst, {eatθ, a}}}}}}}
Initial Spellout: John 3sg pres sandwich John 3sg pst eat a
Spellout: John sandwiches John ate a
Error: inconsistent spellout
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 7: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} John {sandwichθ, John} vsandwich:θ:pres INFLv
WS 8: {{sandwichθ, John},vsandwich:θ:pres} {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} John INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 7: {{sandwichθ, John},{John, {veat:θ:pst, {eatθ, a}}}} John vsandwich:θ:pres INFLv INFLv
WS 8: {{{sandwichθ, John},{John, {veat:θ:pst, {eatθ, a}}}},vsandwich:θ:pres} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 7: {{sandwichθ, John},vsandwich:θ:pres} John {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 7: {{John, {veat:θ:pst, {eatθ, a}}},vsandwich:θ:pres} John {sandwichθ, John} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 6: a {sandwichθ, John} {John, {veat:θ:pst, {eatθ, a}}} vsandwich:θ:pres INFLv INFLv
WS 7: {vsandwich:θ:pres, {sandwichθ, John}} a {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS 8: {a, {vsandwich:θ:pres, {sandwichθ, John}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS 9: {a, {INFLv, {a, {vsandwich:θ:pres, {sandwichθ, John}}}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 9: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 9: {{a, {vsandwich:θ:pres, {sandwichθ, John}}},{John, {veat:θ:pst, {eatθ, a}}}} INFLv INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 7: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} a {sandwichθ, John} vsandwich:θ:pres INFLv
WS 8: {{sandwichθ, John},vsandwich:θ:pres} {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} a INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 7: {{sandwichθ, John},{John, {veat:θ:pst, {eatθ, a}}}} a vsandwich:θ:pres INFLv INFLv
WS 8: {{{sandwichθ, John},{John, {veat:θ:pst, {eatθ, a}}}},vsandwich:θ:pres} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 7: {{sandwichθ, John},vsandwich:θ:pres} a {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 7: {{John, {veat:θ:pst, {eatθ, a}}},vsandwich:θ:pres} a {sandwichθ, John} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 5: {vsandwich:θ:pres, sandwichθ} John {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 5: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} John sandwichθ vsandwich:θ:pres INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 4: a {John, {veat:θ:pst, {eatθ, a}}} sandwichθ vsandwich:θ:pres INFLv INFLv
WS 5: John a {John, {veat:θ:pst, {eatθ, a}}} sandwichθ vsandwich:θ:pres INFLv INFLv
WS 6: {sandwichθ, John} a {John, {veat:θ:pst, {eatθ, a}}} vsandwich:θ:pres INFLv INFLv
WS 7: {vsandwich:θ:pres, {sandwichθ, John}} a {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS 8: {a, {vsandwich:θ:pres, {sandwichθ, John}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS 9: {a, {INFLv, {a, {vsandwich:θ:pres, {sandwichθ, John}}}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 9: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 9: {{a, {vsandwich:θ:pres, {sandwichθ, John}}},{John, {veat:θ:pst, {eatθ, a}}}} INFLv INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 7: {{sandwichθ, John},{John, {veat:θ:pst, {eatθ, a}}}} a vsandwich:θ:pres INFLv INFLv
WS 8: {{{sandwichθ, John},{John, {veat:θ:pst, {eatθ, a}}}},vsandwich:θ:pres} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 7: {{sandwichθ, John},vsandwich:θ:pres} a {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 7: {{John, {veat:θ:pst, {eatθ, a}}},vsandwich:θ:pres} {sandwichθ, John} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 6: {sandwichθ, a} John {John, {veat:θ:pst, {eatθ, a}}} vsandwich:θ:pres INFLv INFLv
WS 7: {vsandwich:θ:pres, {sandwichθ, a}} John {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS 8: {John, {vsandwich:θ:pres, {sandwichθ, a}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS 9: {John, {INFLv, {John, {vsandwich:θ:pres, {sandwichθ, a}}}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 9: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 9: {{John, {vsandwich:θ:pres, {sandwichθ, a}}},{John, {veat:θ:pst, {eatθ, a}}}} INFLv INFLv
WS 10: {John, {INFLv, {{John, {vsandwich:θ:pres, {sandwichθ, a}}},{John, {veat:θ:pst, {eatθ, a}}}}}} 
Final WS: {C, {John, {INFLv, {{John, {vsandwich:θ:pres, {sandwichθ, a}}},{John, {veat:θ:pst, {eatθ, a}}}}}}} 
INT/EXT: {C, {John, {INFLv, {{John, {vsandwich:θ:pres, {sandwichθ, a}}}, {John, {veat:θ:pst, {eatθ, a}}}}}}}
Initial Spellout: John 3sg pres sandwich a 3sg pst eat a
Spellout: John sandwiches a ate a
Error: inconsistent spellout
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 7: {{sandwichθ, a},{John, {veat:θ:pst, {eatθ, a}}}} John vsandwich:θ:pres INFLv INFLv
WS 8: {{{sandwichθ, a},{John, {veat:θ:pst, {eatθ, a}}}},vsandwich:θ:pres} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 7: {{sandwichθ, a},vsandwich:θ:pres} John {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 7: {{John, {veat:θ:pst, {eatθ, a}}},vsandwich:θ:pres} {sandwichθ, a} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 6: {vsandwich:θ:pres, sandwichθ} John a {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS fail: WS θS 1 < θR 2
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 6: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} John a sandwichθ vsandwich:θ:pres INFLv
WS 7: {sandwichθ,vsandwich:θ:pres} {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} John a INFLv
WS fail: WS θS 0 < θR 2
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 6: {{John, {veat:θ:pst, {eatθ, a}}},sandwichθ} John a vsandwich:θ:pres INFLv INFLv
WS fail: WS θS 1 < θR 2
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 6: {sandwichθ,vsandwich:θ:pres} John a {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 2
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 5: {sandwichθ, a} {John, {veat:θ:pst, {eatθ, a}}} vsandwich:θ:pres INFLv INFLv
WS 6: a {sandwichθ, a} {John, {veat:θ:pst, {eatθ, a}}} vsandwich:θ:pres INFLv INFLv
WS 7: {vsandwich:θ:pres, {sandwichθ, a}} a {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS 8: {a, {vsandwich:θ:pres, {sandwichθ, a}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS 9: {a, {INFLv, {a, {vsandwich:θ:pres, {sandwichθ, a}}}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 9: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} {a, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 9: {{a, {vsandwich:θ:pres, {sandwichθ, a}}},{John, {veat:θ:pst, {eatθ, a}}}} INFLv INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 7: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} a {sandwichθ, a} vsandwich:θ:pres INFLv
WS 8: {{sandwichθ, a},vsandwich:θ:pres} {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} a INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 7: {{sandwichθ, a},{John, {veat:θ:pst, {eatθ, a}}}} a vsandwich:θ:pres INFLv INFLv
WS 8: {{{sandwichθ, a},{John, {veat:θ:pst, {eatθ, a}}}},vsandwich:θ:pres} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 7: {{sandwichθ, a},vsandwich:θ:pres} a {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 7: {{John, {veat:θ:pst, {eatθ, a}}},vsandwich:θ:pres} a {sandwichθ, a} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 6: John {sandwichθ, a} {John, {veat:θ:pst, {eatθ, a}}} vsandwich:θ:pres INFLv INFLv
WS 7: {vsandwich:θ:pres, {sandwichθ, a}} John {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS 8: {John, {vsandwich:θ:pres, {sandwichθ, a}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS 9: {John, {INFLv, {John, {vsandwich:θ:pres, {sandwichθ, a}}}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 9: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 9: {{John, {vsandwich:θ:pres, {sandwichθ, a}}},{John, {veat:θ:pst, {eatθ, a}}}} INFLv INFLv
WS 10: {John, {INFLv, {{John, {vsandwich:θ:pres, {sandwichθ, a}}},{John, {veat:θ:pst, {eatθ, a}}}}}} 
Final WS: {C, {John, {INFLv, {{John, {vsandwich:θ:pres, {sandwichθ, a}}},{John, {veat:θ:pst, {eatθ, a}}}}}}} 
INT/EXT: {C, {John, {INFLv, {{John, {vsandwich:θ:pres, {sandwichθ, a}}}, {John, {veat:θ:pst, {eatθ, a}}}}}}}
Initial Spellout: John 3sg pres sandwich a 3sg pst eat a
Spellout: John sandwiches a ate a
Error: inconsistent spellout
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 7: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} John {sandwichθ, a} vsandwich:θ:pres INFLv
WS 8: {{sandwichθ, a},vsandwich:θ:pres} {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} John INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 7: {{sandwichθ, a},{John, {veat:θ:pst, {eatθ, a}}}} John vsandwich:θ:pres INFLv INFLv
WS 8: {{{sandwichθ, a},{John, {veat:θ:pst, {eatθ, a}}}},vsandwich:θ:pres} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 7: {{sandwichθ, a},vsandwich:θ:pres} John {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 7: {{John, {veat:θ:pst, {eatθ, a}}},vsandwich:θ:pres} John {sandwichθ, a} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 5: {vsandwich:θ:pres, sandwichθ} a {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ:pres INFLv veat:θ:pst INFLv John 
WS 5: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} a sandwichθ vsandwich:θ:pres INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 2: {veat:θ:pst, {eatθ, John}} sandwichθ vsandwich:θ:pres INFLv a INFLv
WS 3: {a, {veat:θ:pst, {eatθ, John}}} sandwichθ vsandwich:θ:pres INFLv INFLv
WS 4: a {a, {veat:θ:pst, {eatθ, John}}} sandwichθ vsandwich:θ:pres INFLv INFLv
WS 5: John a {a, {veat:θ:pst, {eatθ, John}}} sandwichθ vsandwich:θ:pres INFLv INFLv
WS 6: {sandwichθ, John} a {a, {veat:θ:pst, {eatθ, John}}} vsandwich:θ:pres INFLv INFLv
WS 7: {vsandwich:θ:pres, {sandwichθ, John}} a {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS 8: {a, {vsandwich:θ:pres, {sandwichθ, John}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS 9: {a, {INFLv, {a, {vsandwich:θ:pres, {sandwichθ, John}}}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 9: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 9: {{a, {vsandwich:θ:pres, {sandwichθ, John}}},{a, {veat:θ:pst, {eatθ, John}}}} INFLv INFLv
WS 10: {a, {INFLv, {{a, {vsandwich:θ:pres, {sandwichθ, John}}},{a, {veat:θ:pst, {eatθ, John}}}}}} 
Final WS: {C, {a, {INFLv, {{a, {vsandwich:θ:pres, {sandwichθ, John}}},{a, {veat:θ:pst, {eatθ, John}}}}}}} 
INT/EXT: {C, {a, {INFLv, {{a, {vsandwich:θ:pres, {sandwichθ, John}}}, {a, {veat:θ:pst, {eatθ, John}}}}}}}
Initial Spellout: a 3sg pres sandwich John 3sg pst eat John
Spellout: a sandwiches John ate John
Error: inconsistent spellout
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 7: {{sandwichθ, John},{a, {veat:θ:pst, {eatθ, John}}}} a vsandwich:θ:pres INFLv INFLv
WS 8: {{{sandwichθ, John},{a, {veat:θ:pst, {eatθ, John}}}},vsandwich:θ:pres} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 7: {{sandwichθ, John},vsandwich:θ:pres} a {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 7: {{a, {veat:θ:pst, {eatθ, John}}},vsandwich:θ:pres} {sandwichθ, John} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 6: {sandwichθ, a} John {a, {veat:θ:pst, {eatθ, John}}} vsandwich:θ:pres INFLv INFLv
WS 7: {vsandwich:θ:pres, {sandwichθ, a}} John {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS 8: {John, {vsandwich:θ:pres, {sandwichθ, a}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS 9: {John, {INFLv, {John, {vsandwich:θ:pres, {sandwichθ, a}}}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 9: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 9: {{John, {vsandwich:θ:pres, {sandwichθ, a}}},{a, {veat:θ:pst, {eatθ, John}}}} INFLv INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 7: {{sandwichθ, a},{a, {veat:θ:pst, {eatθ, John}}}} John vsandwich:θ:pres INFLv INFLv
WS 8: {{{sandwichθ, a},{a, {veat:θ:pst, {eatθ, John}}}},vsandwich:θ:pres} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 7: {{sandwichθ, a},vsandwich:θ:pres} John {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 7: {{a, {veat:θ:pst, {eatθ, John}}},vsandwich:θ:pres} {sandwichθ, a} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 6: {vsandwich:θ:pres, sandwichθ} John a {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS fail: WS θS 1 < θR 2
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 6: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} John a sandwichθ vsandwich:θ:pres INFLv
WS 7: {sandwichθ,vsandwich:θ:pres} {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} John a INFLv
WS fail: WS θS 0 < θR 2
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 6: {{a, {veat:θ:pst, {eatθ, John}}},sandwichθ} John a vsandwich:θ:pres INFLv INFLv
WS fail: WS θS 1 < θR 2
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 6: {sandwichθ,vsandwich:θ:pres} John a {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 2
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 5: {sandwichθ, a} {a, {veat:θ:pst, {eatθ, John}}} vsandwich:θ:pres INFLv INFLv
WS 6: a {sandwichθ, a} {a, {veat:θ:pst, {eatθ, John}}} vsandwich:θ:pres INFLv INFLv
WS 7: {vsandwich:θ:pres, {sandwichθ, a}} a {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS 8: {a, {vsandwich:θ:pres, {sandwichθ, a}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS 9: {a, {INFLv, {a, {vsandwich:θ:pres, {sandwichθ, a}}}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 9: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} {a, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 9: {{a, {vsandwich:θ:pres, {sandwichθ, a}}},{a, {veat:θ:pst, {eatθ, John}}}} INFLv INFLv
WS 10: {a, {INFLv, {{a, {vsandwich:θ:pres, {sandwichθ, a}}},{a, {veat:θ:pst, {eatθ, John}}}}}} 
Final WS: {C, {a, {INFLv, {{a, {vsandwich:θ:pres, {sandwichθ, a}}},{a, {veat:θ:pst, {eatθ, John}}}}}}} 
INT/EXT: {C, {a, {INFLv, {{a, {vsandwich:θ:pres, {sandwichθ, a}}}, {a, {veat:θ:pst, {eatθ, John}}}}}}}
Initial Spellout: a 3sg pres sandwich a 3sg pst eat John
Spellout: a sandwiches a ate John
Error: inconsistent spellout
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 7: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} a {sandwichθ, a} vsandwich:θ:pres INFLv
WS 8: {{sandwichθ, a},vsandwich:θ:pres} {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} a INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 7: {{sandwichθ, a},{a, {veat:θ:pst, {eatθ, John}}}} a vsandwich:θ:pres INFLv INFLv
WS 8: {{{sandwichθ, a},{a, {veat:θ:pst, {eatθ, John}}}},vsandwich:θ:pres} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 7: {{sandwichθ, a},vsandwich:θ:pres} a {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 7: {{a, {veat:θ:pst, {eatθ, John}}},vsandwich:θ:pres} a {sandwichθ, a} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 6: John {sandwichθ, a} {a, {veat:θ:pst, {eatθ, John}}} vsandwich:θ:pres INFLv INFLv
WS 7: {vsandwich:θ:pres, {sandwichθ, a}} John {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS 8: {John, {vsandwich:θ:pres, {sandwichθ, a}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS 9: {John, {INFLv, {John, {vsandwich:θ:pres, {sandwichθ, a}}}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 9: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 9: {{John, {vsandwich:θ:pres, {sandwichθ, a}}},{a, {veat:θ:pst, {eatθ, John}}}} INFLv INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 7: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} John {sandwichθ, a} vsandwich:θ:pres INFLv
WS 8: {{sandwichθ, a},vsandwich:θ:pres} {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} John INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 7: {{sandwichθ, a},{a, {veat:θ:pst, {eatθ, John}}}} John vsandwich:θ:pres INFLv INFLv
WS 8: {{{sandwichθ, a},{a, {veat:θ:pst, {eatθ, John}}}},vsandwich:θ:pres} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 7: {{sandwichθ, a},vsandwich:θ:pres} John {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 7: {{a, {veat:θ:pst, {eatθ, John}}},vsandwich:θ:pres} John {sandwichθ, a} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 5: {vsandwich:θ:pres, sandwichθ} a {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 5: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} a sandwichθ vsandwich:θ:pres INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 4: John {a, {veat:θ:pst, {eatθ, John}}} sandwichθ vsandwich:θ:pres INFLv INFLv
WS 5: a John {a, {veat:θ:pst, {eatθ, John}}} sandwichθ vsandwich:θ:pres INFLv INFLv
WS 6: {sandwichθ, a} John {a, {veat:θ:pst, {eatθ, John}}} vsandwich:θ:pres INFLv INFLv
WS 7: {vsandwich:θ:pres, {sandwichθ, a}} John {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS 8: {John, {vsandwich:θ:pres, {sandwichθ, a}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS 9: {John, {INFLv, {John, {vsandwich:θ:pres, {sandwichθ, a}}}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 9: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} {John, {vsandwich:θ:pres, {sandwichθ, a}}} INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 9: {{John, {vsandwich:θ:pres, {sandwichθ, a}}},{a, {veat:θ:pst, {eatθ, John}}}} INFLv INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 7: {{sandwichθ, a},{a, {veat:θ:pst, {eatθ, John}}}} John vsandwich:θ:pres INFLv INFLv
WS 8: {{{sandwichθ, a},{a, {veat:θ:pst, {eatθ, John}}}},vsandwich:θ:pres} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 7: {{sandwichθ, a},vsandwich:θ:pres} John {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 7: {{a, {veat:θ:pst, {eatθ, John}}},vsandwich:θ:pres} {sandwichθ, a} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 6: {sandwichθ, John} a {a, {veat:θ:pst, {eatθ, John}}} vsandwich:θ:pres INFLv INFLv
WS 7: {vsandwich:θ:pres, {sandwichθ, John}} a {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS 8: {a, {vsandwich:θ:pres, {sandwichθ, John}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS 9: {a, {INFLv, {a, {vsandwich:θ:pres, {sandwichθ, John}}}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 9: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 9: {{a, {vsandwich:θ:pres, {sandwichθ, John}}},{a, {veat:θ:pst, {eatθ, John}}}} INFLv INFLv
WS 10: {a, {INFLv, {{a, {vsandwich:θ:pres, {sandwichθ, John}}},{a, {veat:θ:pst, {eatθ, John}}}}}} 
Final WS: {C, {a, {INFLv, {{a, {vsandwich:θ:pres, {sandwichθ, John}}},{a, {veat:θ:pst, {eatθ, John}}}}}}} 
INT/EXT: {C, {a, {INFLv, {{a, {vsandwich:θ:pres, {sandwichθ, John}}}, {a, {veat:θ:pst, {eatθ, John}}}}}}}
Initial Spellout: a 3sg pres sandwich John 3sg pst eat John
Spellout: a sandwiches John ate John
Error: inconsistent spellout
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 7: {{sandwichθ, John},{a, {veat:θ:pst, {eatθ, John}}}} a vsandwich:θ:pres INFLv INFLv
WS 8: {{{sandwichθ, John},{a, {veat:θ:pst, {eatθ, John}}}},vsandwich:θ:pres} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 7: {{sandwichθ, John},vsandwich:θ:pres} a {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 7: {{a, {veat:θ:pst, {eatθ, John}}},vsandwich:θ:pres} {sandwichθ, John} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 6: {vsandwich:θ:pres, sandwichθ} a John {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS fail: WS θS 1 < θR 2
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 6: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} a John sandwichθ vsandwich:θ:pres INFLv
WS 7: {sandwichθ,vsandwich:θ:pres} {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} a John INFLv
WS fail: WS θS 0 < θR 2
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 6: {{a, {veat:θ:pst, {eatθ, John}}},sandwichθ} a John vsandwich:θ:pres INFLv INFLv
WS fail: WS θS 1 < θR 2
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 6: {sandwichθ,vsandwich:θ:pres} a John {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 2
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 5: {sandwichθ, John} {a, {veat:θ:pst, {eatθ, John}}} vsandwich:θ:pres INFLv INFLv
WS 6: John {sandwichθ, John} {a, {veat:θ:pst, {eatθ, John}}} vsandwich:θ:pres INFLv INFLv
WS 7: {vsandwich:θ:pres, {sandwichθ, John}} John {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS 8: {John, {vsandwich:θ:pres, {sandwichθ, John}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS 9: {John, {INFLv, {John, {vsandwich:θ:pres, {sandwichθ, John}}}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 9: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} {John, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 9: {{John, {vsandwich:θ:pres, {sandwichθ, John}}},{a, {veat:θ:pst, {eatθ, John}}}} INFLv INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 7: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} John {sandwichθ, John} vsandwich:θ:pres INFLv
WS 8: {{sandwichθ, John},vsandwich:θ:pres} {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} John INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 7: {{sandwichθ, John},{a, {veat:θ:pst, {eatθ, John}}}} John vsandwich:θ:pres INFLv INFLv
WS 8: {{{sandwichθ, John},{a, {veat:θ:pst, {eatθ, John}}}},vsandwich:θ:pres} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 7: {{sandwichθ, John},vsandwich:θ:pres} John {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 7: {{a, {veat:θ:pst, {eatθ, John}}},vsandwich:θ:pres} John {sandwichθ, John} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 6: a {sandwichθ, John} {a, {veat:θ:pst, {eatθ, John}}} vsandwich:θ:pres INFLv INFLv
WS 7: {vsandwich:θ:pres, {sandwichθ, John}} a {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS 8: {a, {vsandwich:θ:pres, {sandwichθ, John}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS 9: {a, {INFLv, {a, {vsandwich:θ:pres, {sandwichθ, John}}}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 9: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} {a, {vsandwich:θ:pres, {sandwichθ, John}}} INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 9: {{a, {vsandwich:θ:pres, {sandwichθ, John}}},{a, {veat:θ:pst, {eatθ, John}}}} INFLv INFLv
WS 10: {a, {INFLv, {{a, {vsandwich:θ:pres, {sandwichθ, John}}},{a, {veat:θ:pst, {eatθ, John}}}}}} 
Final WS: {C, {a, {INFLv, {{a, {vsandwich:θ:pres, {sandwichθ, John}}},{a, {veat:θ:pst, {eatθ, John}}}}}}} 
INT/EXT: {C, {a, {INFLv, {{a, {vsandwich:θ:pres, {sandwichθ, John}}}, {a, {veat:θ:pst, {eatθ, John}}}}}}}
Initial Spellout: a 3sg pres sandwich John 3sg pst eat John
Spellout: a sandwiches John ate John
Error: inconsistent spellout
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 7: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} a {sandwichθ, John} vsandwich:θ:pres INFLv
WS 8: {{sandwichθ, John},vsandwich:θ:pres} {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} a INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 7: {{sandwichθ, John},{a, {veat:θ:pst, {eatθ, John}}}} a vsandwich:θ:pres INFLv INFLv
WS 8: {{{sandwichθ, John},{a, {veat:θ:pst, {eatθ, John}}}},vsandwich:θ:pres} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 7: {{sandwichθ, John},vsandwich:θ:pres} a {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 7: {{a, {veat:θ:pst, {eatθ, John}}},vsandwich:θ:pres} a {sandwichθ, John} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 5: {vsandwich:θ:pres, sandwichθ} John {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ:pres INFLv a veat:θ:pst INFLv
WS 5: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} John sandwichθ vsandwich:θ:pres INFLv
WS 1: {vsandwich:θ:pres, sandwichθ} INFLv a eatθ veat:θ:pst INFLv John 
WS 1: {veat:θ:pst, eatθ} sandwichθ vsandwich:θ:pres INFLv a INFLv John 
Initial WS 3: sandwichθ vsandwich:θ INFLv a eatθ veat:θ:pst INFLv John 
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 2: {vsandwich:θ, {sandwichθ, a}} INFLv eatθ veat:θ:pst INFLv John 
WS 3: {John, {vsandwich:θ, {sandwichθ, a}}} INFLv eatθ veat:θ:pst INFLv
WS 4: John {John, {vsandwich:θ, {sandwichθ, a}}} INFLv eatθ veat:θ:pst INFLv
WS 5: a John {John, {vsandwich:θ, {sandwichθ, a}}} INFLv eatθ veat:θ:pst INFLv
WS 6: {eatθ, a} John {John, {vsandwich:θ, {sandwichθ, a}}} INFLv veat:θ:pst INFLv
WS 7: {veat:θ:pst, {eatθ, a}} John {John, {vsandwich:θ, {sandwichθ, a}}} INFLv INFLv
WS 8: {John, {veat:θ:pst, {eatθ, a}}} {John, {vsandwich:θ, {sandwichθ, a}}} INFLv INFLv
WS 9: {John, {INFLv, {John, {vsandwich:θ, {sandwichθ, a}}}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 9: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} {John, {vsandwich:θ, {sandwichθ, a}}} INFLv
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 9: {{John, {veat:θ:pst, {eatθ, a}}},{John, {vsandwich:θ, {sandwichθ, a}}}} INFLv INFLv
WS 10: {John, {INFLv, {{John, {veat:θ:pst, {eatθ, a}}},{John, {vsandwich:θ, {sandwichθ, a}}}}}} 
Final WS: {C, {John, {INFLv, {{John, {veat:θ:pst, {eatθ, a}}},{John, {vsandwich:θ, {sandwichθ, a}}}}}}} 
INT/EXT: {C, {John, {INFLv, {{John, {veat:θ:pst, {eatθ, a}}}, {John, {vsandwich:θ, {sandwichθ, a}}}}}}}
Initial Spellout: John 3sg pst eat a 3sg sandwich a
Spellout: John ate a 3sg sandwich a
Error: inconsistent spellout
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{eatθ, a},{John, {vsandwich:θ, {sandwichθ, a}}}} John INFLv veat:θ:pst INFLv
WS 8: {{{eatθ, a},{John, {vsandwich:θ, {sandwichθ, a}}}},veat:θ:pst} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{eatθ, a},veat:θ:pst} John {John, {vsandwich:θ, {sandwichθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{John, {vsandwich:θ, {sandwichθ, a}}},veat:θ:pst} {eatθ, a} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 6: {eatθ, John} a {John, {vsandwich:θ, {sandwichθ, a}}} INFLv veat:θ:pst INFLv
WS 7: {veat:θ:pst, {eatθ, John}} a {John, {vsandwich:θ, {sandwichθ, a}}} INFLv INFLv
WS 8: {a, {veat:θ:pst, {eatθ, John}}} {John, {vsandwich:θ, {sandwichθ, a}}} INFLv INFLv
WS 9: {John, {INFLv, {John, {vsandwich:θ, {sandwichθ, a}}}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 9: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} {John, {vsandwich:θ, {sandwichθ, a}}} INFLv
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 9: {{a, {veat:θ:pst, {eatθ, John}}},{John, {vsandwich:θ, {sandwichθ, a}}}} INFLv INFLv
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{eatθ, John},{John, {vsandwich:θ, {sandwichθ, a}}}} a INFLv veat:θ:pst INFLv
WS 8: {{{eatθ, John},{John, {vsandwich:θ, {sandwichθ, a}}}},veat:θ:pst} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{eatθ, John},veat:θ:pst} a {John, {vsandwich:θ, {sandwichθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{John, {vsandwich:θ, {sandwichθ, a}}},veat:θ:pst} {eatθ, John} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 6: {John, {INFLv, {John, {vsandwich:θ, {sandwichθ, a}}}}} a John eatθ veat:θ:pst INFLv
WS 7: {eatθ,veat:θ:pst} {John, {INFLv, {John, {vsandwich:θ, {sandwichθ, a}}}}} a John INFLv
WS fail: WS θS 0 < θR 2
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 6: {veat:θ:pst, eatθ} a John {John, {vsandwich:θ, {sandwichθ, a}}} INFLv INFLv
WS fail: WS θS 1 < θR 2
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 6: {{John, {vsandwich:θ, {sandwichθ, a}}},eatθ} a John INFLv veat:θ:pst INFLv
WS fail: WS θS 1 < θR 2
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 6: {eatθ,veat:θ:pst} a John {John, {vsandwich:θ, {sandwichθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 2
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 5: {eatθ, John} {John, {vsandwich:θ, {sandwichθ, a}}} INFLv veat:θ:pst INFLv
WS 6: John {eatθ, John} {John, {vsandwich:θ, {sandwichθ, a}}} INFLv veat:θ:pst INFLv
WS 7: {John, {INFLv, {John, {vsandwich:θ, {sandwichθ, a}}}}} John {eatθ, John} veat:θ:pst INFLv
WS 8: {{eatθ, John},veat:θ:pst} {John, {INFLv, {John, {vsandwich:θ, {sandwichθ, a}}}}} John INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 7: {veat:θ:pst, {eatθ, John}} John {John, {vsandwich:θ, {sandwichθ, a}}} INFLv INFLv
WS 8: {John, {veat:θ:pst, {eatθ, John}}} {John, {vsandwich:θ, {sandwichθ, a}}} INFLv INFLv
WS 9: {John, {INFLv, {John, {vsandwich:θ, {sandwichθ, a}}}}} {John, {veat:θ:pst, {eatθ, John}}} INFLv
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 9: {John, {INFLv, {John, {veat:θ:pst, {eatθ, John}}}}} {John, {vsandwich:θ, {sandwichθ, a}}} INFLv
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 9: {{John, {veat:θ:pst, {eatθ, John}}},{John, {vsandwich:θ, {sandwichθ, a}}}} INFLv INFLv
WS 10: {John, {INFLv, {{John, {veat:θ:pst, {eatθ, John}}},{John, {vsandwich:θ, {sandwichθ, a}}}}}} 
Final WS: {C, {John, {INFLv, {{John, {veat:θ:pst, {eatθ, John}}},{John, {vsandwich:θ, {sandwichθ, a}}}}}}} 
INT/EXT: {C, {John, {INFLv, {{John, {veat:θ:pst, {eatθ, John}}}, {John, {vsandwich:θ, {sandwichθ, a}}}}}}}
Initial Spellout: John 3sg pst eat John 3sg sandwich a
Spellout: John ate John 3sg sandwich a
Error: inconsistent spellout
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{eatθ, John},{John, {vsandwich:θ, {sandwichθ, a}}}} John INFLv veat:θ:pst INFLv
WS 8: {{{eatθ, John},{John, {vsandwich:θ, {sandwichθ, a}}}},veat:θ:pst} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{eatθ, John},veat:θ:pst} John {John, {vsandwich:θ, {sandwichθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{John, {vsandwich:θ, {sandwichθ, a}}},veat:θ:pst} John {eatθ, John} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 6: a {eatθ, John} {John, {vsandwich:θ, {sandwichθ, a}}} INFLv veat:θ:pst INFLv
WS 7: {John, {INFLv, {John, {vsandwich:θ, {sandwichθ, a}}}}} a {eatθ, John} veat:θ:pst INFLv
WS 8: {{eatθ, John},veat:θ:pst} {John, {INFLv, {John, {vsandwich:θ, {sandwichθ, a}}}}} a INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 7: {veat:θ:pst, {eatθ, John}} a {John, {vsandwich:θ, {sandwichθ, a}}} INFLv INFLv
WS 8: {a, {veat:θ:pst, {eatθ, John}}} {John, {vsandwich:θ, {sandwichθ, a}}} INFLv INFLv
WS 9: {John, {INFLv, {John, {vsandwich:θ, {sandwichθ, a}}}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 9: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} {John, {vsandwich:θ, {sandwichθ, a}}} INFLv
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 9: {{a, {veat:θ:pst, {eatθ, John}}},{John, {vsandwich:θ, {sandwichθ, a}}}} INFLv INFLv
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{eatθ, John},{John, {vsandwich:θ, {sandwichθ, a}}}} a INFLv veat:θ:pst INFLv
WS 8: {{{eatθ, John},{John, {vsandwich:θ, {sandwichθ, a}}}},veat:θ:pst} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{eatθ, John},veat:θ:pst} a {John, {vsandwich:θ, {sandwichθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{John, {vsandwich:θ, {sandwichθ, a}}},veat:θ:pst} a {eatθ, John} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 5: {John, {INFLv, {John, {vsandwich:θ, {sandwichθ, a}}}}} John eatθ veat:θ:pst INFLv
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 5: {veat:θ:pst, eatθ} John {John, {vsandwich:θ, {sandwichθ, a}}} INFLv INFLv
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 4: a {John, {vsandwich:θ, {sandwichθ, a}}} INFLv eatθ veat:θ:pst INFLv
WS 5: John a {John, {vsandwich:θ, {sandwichθ, a}}} INFLv eatθ veat:θ:pst INFLv
WS 6: {eatθ, John} a {John, {vsandwich:θ, {sandwichθ, a}}} INFLv veat:θ:pst INFLv
WS 7: {veat:θ:pst, {eatθ, John}} a {John, {vsandwich:θ, {sandwichθ, a}}} INFLv INFLv
WS 8: {a, {veat:θ:pst, {eatθ, John}}} {John, {vsandwich:θ, {sandwichθ, a}}} INFLv INFLv
WS 9: {John, {INFLv, {John, {vsandwich:θ, {sandwichθ, a}}}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 9: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} {John, {vsandwich:θ, {sandwichθ, a}}} INFLv
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 9: {{a, {veat:θ:pst, {eatθ, John}}},{John, {vsandwich:θ, {sandwichθ, a}}}} INFLv INFLv
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{eatθ, John},{John, {vsandwich:θ, {sandwichθ, a}}}} a INFLv veat:θ:pst INFLv
WS 8: {{{eatθ, John},{John, {vsandwich:θ, {sandwichθ, a}}}},veat:θ:pst} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{eatθ, John},veat:θ:pst} a {John, {vsandwich:θ, {sandwichθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{John, {vsandwich:θ, {sandwichθ, a}}},veat:θ:pst} {eatθ, John} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 6: {eatθ, a} John {John, {vsandwich:θ, {sandwichθ, a}}} INFLv veat:θ:pst INFLv
WS 7: {veat:θ:pst, {eatθ, a}} John {John, {vsandwich:θ, {sandwichθ, a}}} INFLv INFLv
WS 8: {John, {veat:θ:pst, {eatθ, a}}} {John, {vsandwich:θ, {sandwichθ, a}}} INFLv INFLv
WS 9: {John, {INFLv, {John, {vsandwich:θ, {sandwichθ, a}}}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 9: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} {John, {vsandwich:θ, {sandwichθ, a}}} INFLv
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 9: {{John, {veat:θ:pst, {eatθ, a}}},{John, {vsandwich:θ, {sandwichθ, a}}}} INFLv INFLv
WS 10: {John, {INFLv, {{John, {veat:θ:pst, {eatθ, a}}},{John, {vsandwich:θ, {sandwichθ, a}}}}}} 
Final WS: {C, {John, {INFLv, {{John, {veat:θ:pst, {eatθ, a}}},{John, {vsandwich:θ, {sandwichθ, a}}}}}}} 
INT/EXT: {C, {John, {INFLv, {{John, {veat:θ:pst, {eatθ, a}}}, {John, {vsandwich:θ, {sandwichθ, a}}}}}}}
Initial Spellout: John 3sg pst eat a 3sg sandwich a
Spellout: John ate a 3sg sandwich a
Error: inconsistent spellout
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{eatθ, a},{John, {vsandwich:θ, {sandwichθ, a}}}} John INFLv veat:θ:pst INFLv
WS 8: {{{eatθ, a},{John, {vsandwich:θ, {sandwichθ, a}}}},veat:θ:pst} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{eatθ, a},veat:θ:pst} John {John, {vsandwich:θ, {sandwichθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{John, {vsandwich:θ, {sandwichθ, a}}},veat:θ:pst} {eatθ, a} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 6: {John, {INFLv, {John, {vsandwich:θ, {sandwichθ, a}}}}} John a eatθ veat:θ:pst INFLv
WS 7: {eatθ,veat:θ:pst} {John, {INFLv, {John, {vsandwich:θ, {sandwichθ, a}}}}} John a INFLv
WS fail: WS θS 0 < θR 2
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 6: {veat:θ:pst, eatθ} John a {John, {vsandwich:θ, {sandwichθ, a}}} INFLv INFLv
WS fail: WS θS 1 < θR 2
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 6: {{John, {vsandwich:θ, {sandwichθ, a}}},eatθ} John a INFLv veat:θ:pst INFLv
WS fail: WS θS 1 < θR 2
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 6: {eatθ,veat:θ:pst} John a {John, {vsandwich:θ, {sandwichθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 2
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 5: {eatθ, a} {John, {vsandwich:θ, {sandwichθ, a}}} INFLv veat:θ:pst INFLv
WS 6: a {eatθ, a} {John, {vsandwich:θ, {sandwichθ, a}}} INFLv veat:θ:pst INFLv
WS 7: {John, {INFLv, {John, {vsandwich:θ, {sandwichθ, a}}}}} a {eatθ, a} veat:θ:pst INFLv
WS 8: {{eatθ, a},veat:θ:pst} {John, {INFLv, {John, {vsandwich:θ, {sandwichθ, a}}}}} a INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 7: {veat:θ:pst, {eatθ, a}} a {John, {vsandwich:θ, {sandwichθ, a}}} INFLv INFLv
WS 8: {a, {veat:θ:pst, {eatθ, a}}} {John, {vsandwich:θ, {sandwichθ, a}}} INFLv INFLv
WS 9: {John, {INFLv, {John, {vsandwich:θ, {sandwichθ, a}}}}} {a, {veat:θ:pst, {eatθ, a}}} INFLv
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 9: {a, {INFLv, {a, {veat:θ:pst, {eatθ, a}}}}} {John, {vsandwich:θ, {sandwichθ, a}}} INFLv
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 9: {{a, {veat:θ:pst, {eatθ, a}}},{John, {vsandwich:θ, {sandwichθ, a}}}} INFLv INFLv
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{eatθ, a},{John, {vsandwich:θ, {sandwichθ, a}}}} a INFLv veat:θ:pst INFLv
WS 8: {{{eatθ, a},{John, {vsandwich:θ, {sandwichθ, a}}}},veat:θ:pst} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{eatθ, a},veat:θ:pst} a {John, {vsandwich:θ, {sandwichθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{John, {vsandwich:θ, {sandwichθ, a}}},veat:θ:pst} a {eatθ, a} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 6: John {eatθ, a} {John, {vsandwich:θ, {sandwichθ, a}}} INFLv veat:θ:pst INFLv
WS 7: {John, {INFLv, {John, {vsandwich:θ, {sandwichθ, a}}}}} John {eatθ, a} veat:θ:pst INFLv
WS 8: {{eatθ, a},veat:θ:pst} {John, {INFLv, {John, {vsandwich:θ, {sandwichθ, a}}}}} John INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 7: {veat:θ:pst, {eatθ, a}} John {John, {vsandwich:θ, {sandwichθ, a}}} INFLv INFLv
WS 8: {John, {veat:θ:pst, {eatθ, a}}} {John, {vsandwich:θ, {sandwichθ, a}}} INFLv INFLv
WS 9: {John, {INFLv, {John, {vsandwich:θ, {sandwichθ, a}}}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 9: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} {John, {vsandwich:θ, {sandwichθ, a}}} INFLv
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 9: {{John, {veat:θ:pst, {eatθ, a}}},{John, {vsandwich:θ, {sandwichθ, a}}}} INFLv INFLv
WS 10: {John, {INFLv, {{John, {veat:θ:pst, {eatθ, a}}},{John, {vsandwich:θ, {sandwichθ, a}}}}}} 
Final WS: {C, {John, {INFLv, {{John, {veat:θ:pst, {eatθ, a}}},{John, {vsandwich:θ, {sandwichθ, a}}}}}}} 
INT/EXT: {C, {John, {INFLv, {{John, {veat:θ:pst, {eatθ, a}}}, {John, {vsandwich:θ, {sandwichθ, a}}}}}}}
Initial Spellout: John 3sg pst eat a 3sg sandwich a
Spellout: John ate a 3sg sandwich a
Error: inconsistent spellout
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{eatθ, a},{John, {vsandwich:θ, {sandwichθ, a}}}} John INFLv veat:θ:pst INFLv
WS 8: {{{eatθ, a},{John, {vsandwich:θ, {sandwichθ, a}}}},veat:θ:pst} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{eatθ, a},veat:θ:pst} John {John, {vsandwich:θ, {sandwichθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 7: {{John, {vsandwich:θ, {sandwichθ, a}}},veat:θ:pst} John {eatθ, a} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 5: {John, {INFLv, {John, {vsandwich:θ, {sandwichθ, a}}}}} a eatθ veat:θ:pst INFLv
WS 1: {sandwichθ, a} vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
WS 5: {veat:θ:pst, eatθ} a {John, {vsandwich:θ, {sandwichθ, a}}} INFLv INFLv
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 2: {vsandwich:θ, {sandwichθ, John}} INFLv a eatθ veat:θ:pst INFLv
WS 3: {a, {vsandwich:θ, {sandwichθ, John}}} INFLv eatθ veat:θ:pst INFLv
WS 4: a {a, {vsandwich:θ, {sandwichθ, John}}} INFLv eatθ veat:θ:pst INFLv
WS 5: John a {a, {vsandwich:θ, {sandwichθ, John}}} INFLv eatθ veat:θ:pst INFLv
WS 6: {eatθ, John} a {a, {vsandwich:θ, {sandwichθ, John}}} INFLv veat:θ:pst INFLv
WS 7: {veat:θ:pst, {eatθ, John}} a {a, {vsandwich:θ, {sandwichθ, John}}} INFLv INFLv
WS 8: {a, {veat:θ:pst, {eatθ, John}}} {a, {vsandwich:θ, {sandwichθ, John}}} INFLv INFLv
WS 9: {a, {INFLv, {a, {vsandwich:θ, {sandwichθ, John}}}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 9: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} {a, {vsandwich:θ, {sandwichθ, John}}} INFLv
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 9: {{a, {veat:θ:pst, {eatθ, John}}},{a, {vsandwich:θ, {sandwichθ, John}}}} INFLv INFLv
WS 10: {a, {INFLv, {{a, {veat:θ:pst, {eatθ, John}}},{a, {vsandwich:θ, {sandwichθ, John}}}}}} 
Final WS: {C, {a, {INFLv, {{a, {veat:θ:pst, {eatθ, John}}},{a, {vsandwich:θ, {sandwichθ, John}}}}}}} 
INT/EXT: {C, {a, {INFLv, {{a, {veat:θ:pst, {eatθ, John}}}, {a, {vsandwich:θ, {sandwichθ, John}}}}}}}
Initial Spellout: a 3sg pst eat John 3sg sandwich John
Spellout: a ate John 3sg sandwich John
Error: inconsistent spellout
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 7: {{eatθ, John},{a, {vsandwich:θ, {sandwichθ, John}}}} a INFLv veat:θ:pst INFLv
WS 8: {{{eatθ, John},{a, {vsandwich:θ, {sandwichθ, John}}}},veat:θ:pst} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 7: {{eatθ, John},veat:θ:pst} a {a, {vsandwich:θ, {sandwichθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 7: {{a, {vsandwich:θ, {sandwichθ, John}}},veat:θ:pst} {eatθ, John} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 6: {eatθ, a} John {a, {vsandwich:θ, {sandwichθ, John}}} INFLv veat:θ:pst INFLv
WS 7: {veat:θ:pst, {eatθ, a}} John {a, {vsandwich:θ, {sandwichθ, John}}} INFLv INFLv
WS 8: {John, {veat:θ:pst, {eatθ, a}}} {a, {vsandwich:θ, {sandwichθ, John}}} INFLv INFLv
WS 9: {a, {INFLv, {a, {vsandwich:θ, {sandwichθ, John}}}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 9: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} {a, {vsandwich:θ, {sandwichθ, John}}} INFLv
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 9: {{John, {veat:θ:pst, {eatθ, a}}},{a, {vsandwich:θ, {sandwichθ, John}}}} INFLv INFLv
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 7: {{eatθ, a},{a, {vsandwich:θ, {sandwichθ, John}}}} John INFLv veat:θ:pst INFLv
WS 8: {{{eatθ, a},{a, {vsandwich:θ, {sandwichθ, John}}}},veat:θ:pst} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 7: {{eatθ, a},veat:θ:pst} John {a, {vsandwich:θ, {sandwichθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 7: {{a, {vsandwich:θ, {sandwichθ, John}}},veat:θ:pst} {eatθ, a} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 6: {a, {INFLv, {a, {vsandwich:θ, {sandwichθ, John}}}}} John a eatθ veat:θ:pst INFLv
WS 7: {eatθ,veat:θ:pst} {a, {INFLv, {a, {vsandwich:θ, {sandwichθ, John}}}}} John a INFLv
WS fail: WS θS 0 < θR 2
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 6: {veat:θ:pst, eatθ} John a {a, {vsandwich:θ, {sandwichθ, John}}} INFLv INFLv
WS fail: WS θS 1 < θR 2
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 6: {{a, {vsandwich:θ, {sandwichθ, John}}},eatθ} John a INFLv veat:θ:pst INFLv
WS fail: WS θS 1 < θR 2
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 6: {eatθ,veat:θ:pst} John a {a, {vsandwich:θ, {sandwichθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 2
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 5: {eatθ, a} {a, {vsandwich:θ, {sandwichθ, John}}} INFLv veat:θ:pst INFLv
WS 6: a {eatθ, a} {a, {vsandwich:θ, {sandwichθ, John}}} INFLv veat:θ:pst INFLv
WS 7: {a, {INFLv, {a, {vsandwich:θ, {sandwichθ, John}}}}} a {eatθ, a} veat:θ:pst INFLv
WS 8: {{eatθ, a},veat:θ:pst} {a, {INFLv, {a, {vsandwich:θ, {sandwichθ, John}}}}} a INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 7: {veat:θ:pst, {eatθ, a}} a {a, {vsandwich:θ, {sandwichθ, John}}} INFLv INFLv
WS 8: {a, {veat:θ:pst, {eatθ, a}}} {a, {vsandwich:θ, {sandwichθ, John}}} INFLv INFLv
WS 9: {a, {INFLv, {a, {vsandwich:θ, {sandwichθ, John}}}}} {a, {veat:θ:pst, {eatθ, a}}} INFLv
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 9: {a, {INFLv, {a, {veat:θ:pst, {eatθ, a}}}}} {a, {vsandwich:θ, {sandwichθ, John}}} INFLv
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 9: {{a, {veat:θ:pst, {eatθ, a}}},{a, {vsandwich:θ, {sandwichθ, John}}}} INFLv INFLv
WS 10: {a, {INFLv, {{a, {veat:θ:pst, {eatθ, a}}},{a, {vsandwich:θ, {sandwichθ, John}}}}}} 
Final WS: {C, {a, {INFLv, {{a, {veat:θ:pst, {eatθ, a}}},{a, {vsandwich:θ, {sandwichθ, John}}}}}}} 
INT/EXT: {C, {a, {INFLv, {{a, {veat:θ:pst, {eatθ, a}}}, {a, {vsandwich:θ, {sandwichθ, John}}}}}}}
Initial Spellout: a 3sg pst eat a 3sg sandwich John
Spellout: a ate a 3sg sandwich John
Error: inconsistent spellout
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 7: {{eatθ, a},{a, {vsandwich:θ, {sandwichθ, John}}}} a INFLv veat:θ:pst INFLv
WS 8: {{{eatθ, a},{a, {vsandwich:θ, {sandwichθ, John}}}},veat:θ:pst} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 7: {{eatθ, a},veat:θ:pst} a {a, {vsandwich:θ, {sandwichθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 7: {{a, {vsandwich:θ, {sandwichθ, John}}},veat:θ:pst} a {eatθ, a} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 6: John {eatθ, a} {a, {vsandwich:θ, {sandwichθ, John}}} INFLv veat:θ:pst INFLv
WS 7: {a, {INFLv, {a, {vsandwich:θ, {sandwichθ, John}}}}} John {eatθ, a} veat:θ:pst INFLv
WS 8: {{eatθ, a},veat:θ:pst} {a, {INFLv, {a, {vsandwich:θ, {sandwichθ, John}}}}} John INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 7: {veat:θ:pst, {eatθ, a}} John {a, {vsandwich:θ, {sandwichθ, John}}} INFLv INFLv
WS 8: {John, {veat:θ:pst, {eatθ, a}}} {a, {vsandwich:θ, {sandwichθ, John}}} INFLv INFLv
WS 9: {a, {INFLv, {a, {vsandwich:θ, {sandwichθ, John}}}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 9: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} {a, {vsandwich:θ, {sandwichθ, John}}} INFLv
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 9: {{John, {veat:θ:pst, {eatθ, a}}},{a, {vsandwich:θ, {sandwichθ, John}}}} INFLv INFLv
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 7: {{eatθ, a},{a, {vsandwich:θ, {sandwichθ, John}}}} John INFLv veat:θ:pst INFLv
WS 8: {{{eatθ, a},{a, {vsandwich:θ, {sandwichθ, John}}}},veat:θ:pst} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 7: {{eatθ, a},veat:θ:pst} John {a, {vsandwich:θ, {sandwichθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 7: {{a, {vsandwich:θ, {sandwichθ, John}}},veat:θ:pst} John {eatθ, a} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 5: {a, {INFLv, {a, {vsandwich:θ, {sandwichθ, John}}}}} a eatθ veat:θ:pst INFLv
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 5: {veat:θ:pst, eatθ} a {a, {vsandwich:θ, {sandwichθ, John}}} INFLv INFLv
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 4: John {a, {vsandwich:θ, {sandwichθ, John}}} INFLv eatθ veat:θ:pst INFLv
WS 5: a John {a, {vsandwich:θ, {sandwichθ, John}}} INFLv eatθ veat:θ:pst INFLv
WS 6: {eatθ, a} John {a, {vsandwich:θ, {sandwichθ, John}}} INFLv veat:θ:pst INFLv
WS 7: {veat:θ:pst, {eatθ, a}} John {a, {vsandwich:θ, {sandwichθ, John}}} INFLv INFLv
WS 8: {John, {veat:θ:pst, {eatθ, a}}} {a, {vsandwich:θ, {sandwichθ, John}}} INFLv INFLv
WS 9: {a, {INFLv, {a, {vsandwich:θ, {sandwichθ, John}}}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 9: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} {a, {vsandwich:θ, {sandwichθ, John}}} INFLv
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 9: {{John, {veat:θ:pst, {eatθ, a}}},{a, {vsandwich:θ, {sandwichθ, John}}}} INFLv INFLv
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 7: {{eatθ, a},{a, {vsandwich:θ, {sandwichθ, John}}}} John INFLv veat:θ:pst INFLv
WS 8: {{{eatθ, a},{a, {vsandwich:θ, {sandwichθ, John}}}},veat:θ:pst} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 7: {{eatθ, a},veat:θ:pst} John {a, {vsandwich:θ, {sandwichθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 7: {{a, {vsandwich:θ, {sandwichθ, John}}},veat:θ:pst} {eatθ, a} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 6: {eatθ, John} a {a, {vsandwich:θ, {sandwichθ, John}}} INFLv veat:θ:pst INFLv
WS 7: {veat:θ:pst, {eatθ, John}} a {a, {vsandwich:θ, {sandwichθ, John}}} INFLv INFLv
WS 8: {a, {veat:θ:pst, {eatθ, John}}} {a, {vsandwich:θ, {sandwichθ, John}}} INFLv INFLv
WS 9: {a, {INFLv, {a, {vsandwich:θ, {sandwichθ, John}}}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 9: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} {a, {vsandwich:θ, {sandwichθ, John}}} INFLv
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 9: {{a, {veat:θ:pst, {eatθ, John}}},{a, {vsandwich:θ, {sandwichθ, John}}}} INFLv INFLv
WS 10: {a, {INFLv, {{a, {veat:θ:pst, {eatθ, John}}},{a, {vsandwich:θ, {sandwichθ, John}}}}}} 
Final WS: {C, {a, {INFLv, {{a, {veat:θ:pst, {eatθ, John}}},{a, {vsandwich:θ, {sandwichθ, John}}}}}}} 
INT/EXT: {C, {a, {INFLv, {{a, {veat:θ:pst, {eatθ, John}}}, {a, {vsandwich:θ, {sandwichθ, John}}}}}}}
Initial Spellout: a 3sg pst eat John 3sg sandwich John
Spellout: a ate John 3sg sandwich John
Error: inconsistent spellout
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 7: {{eatθ, John},{a, {vsandwich:θ, {sandwichθ, John}}}} a INFLv veat:θ:pst INFLv
WS 8: {{{eatθ, John},{a, {vsandwich:θ, {sandwichθ, John}}}},veat:θ:pst} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 7: {{eatθ, John},veat:θ:pst} a {a, {vsandwich:θ, {sandwichθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 7: {{a, {vsandwich:θ, {sandwichθ, John}}},veat:θ:pst} {eatθ, John} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 6: {a, {INFLv, {a, {vsandwich:θ, {sandwichθ, John}}}}} a John eatθ veat:θ:pst INFLv
WS 7: {eatθ,veat:θ:pst} {a, {INFLv, {a, {vsandwich:θ, {sandwichθ, John}}}}} a John INFLv
WS fail: WS θS 0 < θR 2
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 6: {veat:θ:pst, eatθ} a John {a, {vsandwich:θ, {sandwichθ, John}}} INFLv INFLv
WS fail: WS θS 1 < θR 2
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 6: {{a, {vsandwich:θ, {sandwichθ, John}}},eatθ} a John INFLv veat:θ:pst INFLv
WS fail: WS θS 1 < θR 2
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 6: {eatθ,veat:θ:pst} a John {a, {vsandwich:θ, {sandwichθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 2
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 5: {eatθ, John} {a, {vsandwich:θ, {sandwichθ, John}}} INFLv veat:θ:pst INFLv
WS 6: John {eatθ, John} {a, {vsandwich:θ, {sandwichθ, John}}} INFLv veat:θ:pst INFLv
WS 7: {a, {INFLv, {a, {vsandwich:θ, {sandwichθ, John}}}}} John {eatθ, John} veat:θ:pst INFLv
WS 8: {{eatθ, John},veat:θ:pst} {a, {INFLv, {a, {vsandwich:θ, {sandwichθ, John}}}}} John INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 7: {veat:θ:pst, {eatθ, John}} John {a, {vsandwich:θ, {sandwichθ, John}}} INFLv INFLv
WS 8: {John, {veat:θ:pst, {eatθ, John}}} {a, {vsandwich:θ, {sandwichθ, John}}} INFLv INFLv
WS 9: {a, {INFLv, {a, {vsandwich:θ, {sandwichθ, John}}}}} {John, {veat:θ:pst, {eatθ, John}}} INFLv
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 9: {John, {INFLv, {John, {veat:θ:pst, {eatθ, John}}}}} {a, {vsandwich:θ, {sandwichθ, John}}} INFLv
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 9: {{John, {veat:θ:pst, {eatθ, John}}},{a, {vsandwich:θ, {sandwichθ, John}}}} INFLv INFLv
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 7: {{eatθ, John},{a, {vsandwich:θ, {sandwichθ, John}}}} John INFLv veat:θ:pst INFLv
WS 8: {{{eatθ, John},{a, {vsandwich:θ, {sandwichθ, John}}}},veat:θ:pst} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 7: {{eatθ, John},veat:θ:pst} John {a, {vsandwich:θ, {sandwichθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 7: {{a, {vsandwich:θ, {sandwichθ, John}}},veat:θ:pst} John {eatθ, John} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 6: a {eatθ, John} {a, {vsandwich:θ, {sandwichθ, John}}} INFLv veat:θ:pst INFLv
WS 7: {a, {INFLv, {a, {vsandwich:θ, {sandwichθ, John}}}}} a {eatθ, John} veat:θ:pst INFLv
WS 8: {{eatθ, John},veat:θ:pst} {a, {INFLv, {a, {vsandwich:θ, {sandwichθ, John}}}}} a INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 7: {veat:θ:pst, {eatθ, John}} a {a, {vsandwich:θ, {sandwichθ, John}}} INFLv INFLv
WS 8: {a, {veat:θ:pst, {eatθ, John}}} {a, {vsandwich:θ, {sandwichθ, John}}} INFLv INFLv
WS 9: {a, {INFLv, {a, {vsandwich:θ, {sandwichθ, John}}}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 9: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} {a, {vsandwich:θ, {sandwichθ, John}}} INFLv
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 9: {{a, {veat:θ:pst, {eatθ, John}}},{a, {vsandwich:θ, {sandwichθ, John}}}} INFLv INFLv
WS 10: {a, {INFLv, {{a, {veat:θ:pst, {eatθ, John}}},{a, {vsandwich:θ, {sandwichθ, John}}}}}} 
Final WS: {C, {a, {INFLv, {{a, {veat:θ:pst, {eatθ, John}}},{a, {vsandwich:θ, {sandwichθ, John}}}}}}} 
INT/EXT: {C, {a, {INFLv, {{a, {veat:θ:pst, {eatθ, John}}}, {a, {vsandwich:θ, {sandwichθ, John}}}}}}}
Initial Spellout: a 3sg pst eat John 3sg sandwich John
Spellout: a ate John 3sg sandwich John
Error: inconsistent spellout
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 7: {{eatθ, John},{a, {vsandwich:θ, {sandwichθ, John}}}} a INFLv veat:θ:pst INFLv
WS 8: {{{eatθ, John},{a, {vsandwich:θ, {sandwichθ, John}}}},veat:θ:pst} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 7: {{eatθ, John},veat:θ:pst} a {a, {vsandwich:θ, {sandwichθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 7: {{a, {vsandwich:θ, {sandwichθ, John}}},veat:θ:pst} a {eatθ, John} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 5: {a, {INFLv, {a, {vsandwich:θ, {sandwichθ, John}}}}} John eatθ veat:θ:pst INFLv
WS 1: {sandwichθ, John} vsandwich:θ INFLv a eatθ veat:θ:pst INFLv
WS 5: {veat:θ:pst, eatθ} John {a, {vsandwich:θ, {sandwichθ, John}}} INFLv INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 2: {veat:θ:pst, {eatθ, a}} sandwichθ vsandwich:θ INFLv INFLv John 
WS 3: {John, {veat:θ:pst, {eatθ, a}}} sandwichθ vsandwich:θ INFLv INFLv
WS 4: John {John, {veat:θ:pst, {eatθ, a}}} sandwichθ vsandwich:θ INFLv INFLv
WS 5: a John {John, {veat:θ:pst, {eatθ, a}}} sandwichθ vsandwich:θ INFLv INFLv
WS 6: {sandwichθ, a} John {John, {veat:θ:pst, {eatθ, a}}} vsandwich:θ INFLv INFLv
WS 7: {vsandwich:θ, {sandwichθ, a}} John {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS 8: {John, {vsandwich:θ, {sandwichθ, a}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS 9: {John, {INFLv, {John, {vsandwich:θ, {sandwichθ, a}}}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 9: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} {John, {vsandwich:θ, {sandwichθ, a}}} INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 9: {{John, {vsandwich:θ, {sandwichθ, a}}},{John, {veat:θ:pst, {eatθ, a}}}} INFLv INFLv
WS 10: {John, {INFLv, {{John, {vsandwich:θ, {sandwichθ, a}}},{John, {veat:θ:pst, {eatθ, a}}}}}} 
Final WS: {C, {John, {INFLv, {{John, {vsandwich:θ, {sandwichθ, a}}},{John, {veat:θ:pst, {eatθ, a}}}}}}} 
INT/EXT: {C, {John, {INFLv, {{John, {vsandwich:θ, {sandwichθ, a}}}, {John, {veat:θ:pst, {eatθ, a}}}}}}}
Initial Spellout: John 3sg sandwich a 3sg pst eat a
Spellout: John 3sg sandwich a ate a
Error: inconsistent spellout
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 7: {{sandwichθ, a},{John, {veat:θ:pst, {eatθ, a}}}} John vsandwich:θ INFLv INFLv
WS 8: {{{sandwichθ, a},{John, {veat:θ:pst, {eatθ, a}}}},vsandwich:θ} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 7: {{sandwichθ, a},vsandwich:θ} John {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 7: {{John, {veat:θ:pst, {eatθ, a}}},vsandwich:θ} {sandwichθ, a} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 6: {sandwichθ, John} a {John, {veat:θ:pst, {eatθ, a}}} vsandwich:θ INFLv INFLv
WS 7: {vsandwich:θ, {sandwichθ, John}} a {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS 8: {a, {vsandwich:θ, {sandwichθ, John}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS 9: {a, {INFLv, {a, {vsandwich:θ, {sandwichθ, John}}}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 9: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} {a, {vsandwich:θ, {sandwichθ, John}}} INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 9: {{a, {vsandwich:θ, {sandwichθ, John}}},{John, {veat:θ:pst, {eatθ, a}}}} INFLv INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 7: {{sandwichθ, John},{John, {veat:θ:pst, {eatθ, a}}}} a vsandwich:θ INFLv INFLv
WS 8: {{{sandwichθ, John},{John, {veat:θ:pst, {eatθ, a}}}},vsandwich:θ} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 7: {{sandwichθ, John},vsandwich:θ} a {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 7: {{John, {veat:θ:pst, {eatθ, a}}},vsandwich:θ} {sandwichθ, John} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 6: {vsandwich:θ, sandwichθ} a John {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS fail: WS θS 1 < θR 2
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 6: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} a John sandwichθ vsandwich:θ INFLv
WS 7: {sandwichθ,vsandwich:θ} {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} a John INFLv
WS fail: WS θS 0 < θR 2
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 6: {{John, {veat:θ:pst, {eatθ, a}}},sandwichθ} a John vsandwich:θ INFLv INFLv
WS fail: WS θS 1 < θR 2
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 6: {sandwichθ,vsandwich:θ} a John {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 2
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 5: {sandwichθ, John} {John, {veat:θ:pst, {eatθ, a}}} vsandwich:θ INFLv INFLv
WS 6: John {sandwichθ, John} {John, {veat:θ:pst, {eatθ, a}}} vsandwich:θ INFLv INFLv
WS 7: {vsandwich:θ, {sandwichθ, John}} John {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS 8: {John, {vsandwich:θ, {sandwichθ, John}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS 9: {John, {INFLv, {John, {vsandwich:θ, {sandwichθ, John}}}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 9: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} {John, {vsandwich:θ, {sandwichθ, John}}} INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 9: {{John, {vsandwich:θ, {sandwichθ, John}}},{John, {veat:θ:pst, {eatθ, a}}}} INFLv INFLv
WS 10: {John, {INFLv, {{John, {vsandwich:θ, {sandwichθ, John}}},{John, {veat:θ:pst, {eatθ, a}}}}}} 
Final WS: {C, {John, {INFLv, {{John, {vsandwich:θ, {sandwichθ, John}}},{John, {veat:θ:pst, {eatθ, a}}}}}}} 
INT/EXT: {C, {John, {INFLv, {{John, {vsandwich:θ, {sandwichθ, John}}}, {John, {veat:θ:pst, {eatθ, a}}}}}}}
Initial Spellout: John 3sg sandwich John 3sg pst eat a
Spellout: John 3sg sandwich John ate a
Error: inconsistent spellout
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 7: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} John {sandwichθ, John} vsandwich:θ INFLv
WS 8: {{sandwichθ, John},vsandwich:θ} {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} John INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 7: {{sandwichθ, John},{John, {veat:θ:pst, {eatθ, a}}}} John vsandwich:θ INFLv INFLv
WS 8: {{{sandwichθ, John},{John, {veat:θ:pst, {eatθ, a}}}},vsandwich:θ} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 7: {{sandwichθ, John},vsandwich:θ} John {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 7: {{John, {veat:θ:pst, {eatθ, a}}},vsandwich:θ} John {sandwichθ, John} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 6: a {sandwichθ, John} {John, {veat:θ:pst, {eatθ, a}}} vsandwich:θ INFLv INFLv
WS 7: {vsandwich:θ, {sandwichθ, John}} a {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS 8: {a, {vsandwich:θ, {sandwichθ, John}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS 9: {a, {INFLv, {a, {vsandwich:θ, {sandwichθ, John}}}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 9: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} {a, {vsandwich:θ, {sandwichθ, John}}} INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 9: {{a, {vsandwich:θ, {sandwichθ, John}}},{John, {veat:θ:pst, {eatθ, a}}}} INFLv INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 7: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} a {sandwichθ, John} vsandwich:θ INFLv
WS 8: {{sandwichθ, John},vsandwich:θ} {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} a INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 7: {{sandwichθ, John},{John, {veat:θ:pst, {eatθ, a}}}} a vsandwich:θ INFLv INFLv
WS 8: {{{sandwichθ, John},{John, {veat:θ:pst, {eatθ, a}}}},vsandwich:θ} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 7: {{sandwichθ, John},vsandwich:θ} a {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 7: {{John, {veat:θ:pst, {eatθ, a}}},vsandwich:θ} a {sandwichθ, John} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 5: {vsandwich:θ, sandwichθ} John {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 5: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} John sandwichθ vsandwich:θ INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 4: a {John, {veat:θ:pst, {eatθ, a}}} sandwichθ vsandwich:θ INFLv INFLv
WS 5: John a {John, {veat:θ:pst, {eatθ, a}}} sandwichθ vsandwich:θ INFLv INFLv
WS 6: {sandwichθ, John} a {John, {veat:θ:pst, {eatθ, a}}} vsandwich:θ INFLv INFLv
WS 7: {vsandwich:θ, {sandwichθ, John}} a {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS 8: {a, {vsandwich:θ, {sandwichθ, John}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS 9: {a, {INFLv, {a, {vsandwich:θ, {sandwichθ, John}}}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 9: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} {a, {vsandwich:θ, {sandwichθ, John}}} INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 9: {{a, {vsandwich:θ, {sandwichθ, John}}},{John, {veat:θ:pst, {eatθ, a}}}} INFLv INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 7: {{sandwichθ, John},{John, {veat:θ:pst, {eatθ, a}}}} a vsandwich:θ INFLv INFLv
WS 8: {{{sandwichθ, John},{John, {veat:θ:pst, {eatθ, a}}}},vsandwich:θ} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 7: {{sandwichθ, John},vsandwich:θ} a {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 7: {{John, {veat:θ:pst, {eatθ, a}}},vsandwich:θ} {sandwichθ, John} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 6: {sandwichθ, a} John {John, {veat:θ:pst, {eatθ, a}}} vsandwich:θ INFLv INFLv
WS 7: {vsandwich:θ, {sandwichθ, a}} John {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS 8: {John, {vsandwich:θ, {sandwichθ, a}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS 9: {John, {INFLv, {John, {vsandwich:θ, {sandwichθ, a}}}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 9: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} {John, {vsandwich:θ, {sandwichθ, a}}} INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 9: {{John, {vsandwich:θ, {sandwichθ, a}}},{John, {veat:θ:pst, {eatθ, a}}}} INFLv INFLv
WS 10: {John, {INFLv, {{John, {vsandwich:θ, {sandwichθ, a}}},{John, {veat:θ:pst, {eatθ, a}}}}}} 
Final WS: {C, {John, {INFLv, {{John, {vsandwich:θ, {sandwichθ, a}}},{John, {veat:θ:pst, {eatθ, a}}}}}}} 
INT/EXT: {C, {John, {INFLv, {{John, {vsandwich:θ, {sandwichθ, a}}}, {John, {veat:θ:pst, {eatθ, a}}}}}}}
Initial Spellout: John 3sg sandwich a 3sg pst eat a
Spellout: John 3sg sandwich a ate a
Error: inconsistent spellout
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 7: {{sandwichθ, a},{John, {veat:θ:pst, {eatθ, a}}}} John vsandwich:θ INFLv INFLv
WS 8: {{{sandwichθ, a},{John, {veat:θ:pst, {eatθ, a}}}},vsandwich:θ} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 7: {{sandwichθ, a},vsandwich:θ} John {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 7: {{John, {veat:θ:pst, {eatθ, a}}},vsandwich:θ} {sandwichθ, a} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 6: {vsandwich:θ, sandwichθ} John a {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS fail: WS θS 1 < θR 2
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 6: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} John a sandwichθ vsandwich:θ INFLv
WS 7: {sandwichθ,vsandwich:θ} {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} John a INFLv
WS fail: WS θS 0 < θR 2
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 6: {{John, {veat:θ:pst, {eatθ, a}}},sandwichθ} John a vsandwich:θ INFLv INFLv
WS fail: WS θS 1 < θR 2
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 6: {sandwichθ,vsandwich:θ} John a {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 2
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 5: {sandwichθ, a} {John, {veat:θ:pst, {eatθ, a}}} vsandwich:θ INFLv INFLv
WS 6: a {sandwichθ, a} {John, {veat:θ:pst, {eatθ, a}}} vsandwich:θ INFLv INFLv
WS 7: {vsandwich:θ, {sandwichθ, a}} a {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS 8: {a, {vsandwich:θ, {sandwichθ, a}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS 9: {a, {INFLv, {a, {vsandwich:θ, {sandwichθ, a}}}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 9: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} {a, {vsandwich:θ, {sandwichθ, a}}} INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 9: {{a, {vsandwich:θ, {sandwichθ, a}}},{John, {veat:θ:pst, {eatθ, a}}}} INFLv INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 7: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} a {sandwichθ, a} vsandwich:θ INFLv
WS 8: {{sandwichθ, a},vsandwich:θ} {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} a INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 7: {{sandwichθ, a},{John, {veat:θ:pst, {eatθ, a}}}} a vsandwich:θ INFLv INFLv
WS 8: {{{sandwichθ, a},{John, {veat:θ:pst, {eatθ, a}}}},vsandwich:θ} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 7: {{sandwichθ, a},vsandwich:θ} a {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 7: {{John, {veat:θ:pst, {eatθ, a}}},vsandwich:θ} a {sandwichθ, a} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 6: John {sandwichθ, a} {John, {veat:θ:pst, {eatθ, a}}} vsandwich:θ INFLv INFLv
WS 7: {vsandwich:θ, {sandwichθ, a}} John {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS 8: {John, {vsandwich:θ, {sandwichθ, a}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS 9: {John, {INFLv, {John, {vsandwich:θ, {sandwichθ, a}}}}} {John, {veat:θ:pst, {eatθ, a}}} INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 9: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} {John, {vsandwich:θ, {sandwichθ, a}}} INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 9: {{John, {vsandwich:θ, {sandwichθ, a}}},{John, {veat:θ:pst, {eatθ, a}}}} INFLv INFLv
WS 10: {John, {INFLv, {{John, {vsandwich:θ, {sandwichθ, a}}},{John, {veat:θ:pst, {eatθ, a}}}}}} 
Final WS: {C, {John, {INFLv, {{John, {vsandwich:θ, {sandwichθ, a}}},{John, {veat:θ:pst, {eatθ, a}}}}}}} 
INT/EXT: {C, {John, {INFLv, {{John, {vsandwich:θ, {sandwichθ, a}}}, {John, {veat:θ:pst, {eatθ, a}}}}}}}
Initial Spellout: John 3sg sandwich a 3sg pst eat a
Spellout: John 3sg sandwich a ate a
Error: inconsistent spellout
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 7: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} John {sandwichθ, a} vsandwich:θ INFLv
WS 8: {{sandwichθ, a},vsandwich:θ} {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} John INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 7: {{sandwichθ, a},{John, {veat:θ:pst, {eatθ, a}}}} John vsandwich:θ INFLv INFLv
WS 8: {{{sandwichθ, a},{John, {veat:θ:pst, {eatθ, a}}}},vsandwich:θ} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 7: {{sandwichθ, a},vsandwich:θ} John {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 7: {{John, {veat:θ:pst, {eatθ, a}}},vsandwich:θ} John {sandwichθ, a} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 5: {vsandwich:θ, sandwichθ} a {John, {veat:θ:pst, {eatθ, a}}} INFLv INFLv
WS 1: {eatθ, a} sandwichθ vsandwich:θ INFLv veat:θ:pst INFLv John 
WS 5: {John, {INFLv, {John, {veat:θ:pst, {eatθ, a}}}}} a sandwichθ vsandwich:θ INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 2: {veat:θ:pst, {eatθ, John}} sandwichθ vsandwich:θ INFLv a INFLv
WS 3: {a, {veat:θ:pst, {eatθ, John}}} sandwichθ vsandwich:θ INFLv INFLv
WS 4: a {a, {veat:θ:pst, {eatθ, John}}} sandwichθ vsandwich:θ INFLv INFLv
WS 5: John a {a, {veat:θ:pst, {eatθ, John}}} sandwichθ vsandwich:θ INFLv INFLv
WS 6: {sandwichθ, John} a {a, {veat:θ:pst, {eatθ, John}}} vsandwich:θ INFLv INFLv
WS 7: {vsandwich:θ, {sandwichθ, John}} a {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS 8: {a, {vsandwich:θ, {sandwichθ, John}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS 9: {a, {INFLv, {a, {vsandwich:θ, {sandwichθ, John}}}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 9: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} {a, {vsandwich:θ, {sandwichθ, John}}} INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 9: {{a, {vsandwich:θ, {sandwichθ, John}}},{a, {veat:θ:pst, {eatθ, John}}}} INFLv INFLv
WS 10: {a, {INFLv, {{a, {vsandwich:θ, {sandwichθ, John}}},{a, {veat:θ:pst, {eatθ, John}}}}}} 
Final WS: {C, {a, {INFLv, {{a, {vsandwich:θ, {sandwichθ, John}}},{a, {veat:θ:pst, {eatθ, John}}}}}}} 
INT/EXT: {C, {a, {INFLv, {{a, {vsandwich:θ, {sandwichθ, John}}}, {a, {veat:θ:pst, {eatθ, John}}}}}}}
Initial Spellout: a 3sg sandwich John 3sg pst eat John
Spellout: a 3sg sandwich John ate John
Error: inconsistent spellout
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 7: {{sandwichθ, John},{a, {veat:θ:pst, {eatθ, John}}}} a vsandwich:θ INFLv INFLv
WS 8: {{{sandwichθ, John},{a, {veat:θ:pst, {eatθ, John}}}},vsandwich:θ} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 7: {{sandwichθ, John},vsandwich:θ} a {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 7: {{a, {veat:θ:pst, {eatθ, John}}},vsandwich:θ} {sandwichθ, John} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 6: {sandwichθ, a} John {a, {veat:θ:pst, {eatθ, John}}} vsandwich:θ INFLv INFLv
WS 7: {vsandwich:θ, {sandwichθ, a}} John {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS 8: {John, {vsandwich:θ, {sandwichθ, a}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS 9: {John, {INFLv, {John, {vsandwich:θ, {sandwichθ, a}}}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 9: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} {John, {vsandwich:θ, {sandwichθ, a}}} INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 9: {{John, {vsandwich:θ, {sandwichθ, a}}},{a, {veat:θ:pst, {eatθ, John}}}} INFLv INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 7: {{sandwichθ, a},{a, {veat:θ:pst, {eatθ, John}}}} John vsandwich:θ INFLv INFLv
WS 8: {{{sandwichθ, a},{a, {veat:θ:pst, {eatθ, John}}}},vsandwich:θ} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 7: {{sandwichθ, a},vsandwich:θ} John {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 7: {{a, {veat:θ:pst, {eatθ, John}}},vsandwich:θ} {sandwichθ, a} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 6: {vsandwich:θ, sandwichθ} John a {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS fail: WS θS 1 < θR 2
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 6: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} John a sandwichθ vsandwich:θ INFLv
WS 7: {sandwichθ,vsandwich:θ} {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} John a INFLv
WS fail: WS θS 0 < θR 2
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 6: {{a, {veat:θ:pst, {eatθ, John}}},sandwichθ} John a vsandwich:θ INFLv INFLv
WS fail: WS θS 1 < θR 2
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 6: {sandwichθ,vsandwich:θ} John a {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 2
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 5: {sandwichθ, a} {a, {veat:θ:pst, {eatθ, John}}} vsandwich:θ INFLv INFLv
WS 6: a {sandwichθ, a} {a, {veat:θ:pst, {eatθ, John}}} vsandwich:θ INFLv INFLv
WS 7: {vsandwich:θ, {sandwichθ, a}} a {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS 8: {a, {vsandwich:θ, {sandwichθ, a}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS 9: {a, {INFLv, {a, {vsandwich:θ, {sandwichθ, a}}}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 9: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} {a, {vsandwich:θ, {sandwichθ, a}}} INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 9: {{a, {vsandwich:θ, {sandwichθ, a}}},{a, {veat:θ:pst, {eatθ, John}}}} INFLv INFLv
WS 10: {a, {INFLv, {{a, {vsandwich:θ, {sandwichθ, a}}},{a, {veat:θ:pst, {eatθ, John}}}}}} 
Final WS: {C, {a, {INFLv, {{a, {vsandwich:θ, {sandwichθ, a}}},{a, {veat:θ:pst, {eatθ, John}}}}}}} 
INT/EXT: {C, {a, {INFLv, {{a, {vsandwich:θ, {sandwichθ, a}}}, {a, {veat:θ:pst, {eatθ, John}}}}}}}
Initial Spellout: a 3sg sandwich a 3sg pst eat John
Spellout: a 3sg sandwich a ate John
Error: inconsistent spellout
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 7: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} a {sandwichθ, a} vsandwich:θ INFLv
WS 8: {{sandwichθ, a},vsandwich:θ} {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} a INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 7: {{sandwichθ, a},{a, {veat:θ:pst, {eatθ, John}}}} a vsandwich:θ INFLv INFLv
WS 8: {{{sandwichθ, a},{a, {veat:θ:pst, {eatθ, John}}}},vsandwich:θ} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 7: {{sandwichθ, a},vsandwich:θ} a {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 7: {{a, {veat:θ:pst, {eatθ, John}}},vsandwich:θ} a {sandwichθ, a} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 6: John {sandwichθ, a} {a, {veat:θ:pst, {eatθ, John}}} vsandwich:θ INFLv INFLv
WS 7: {vsandwich:θ, {sandwichθ, a}} John {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS 8: {John, {vsandwich:θ, {sandwichθ, a}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS 9: {John, {INFLv, {John, {vsandwich:θ, {sandwichθ, a}}}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 9: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} {John, {vsandwich:θ, {sandwichθ, a}}} INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 9: {{John, {vsandwich:θ, {sandwichθ, a}}},{a, {veat:θ:pst, {eatθ, John}}}} INFLv INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 7: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} John {sandwichθ, a} vsandwich:θ INFLv
WS 8: {{sandwichθ, a},vsandwich:θ} {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} John INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 7: {{sandwichθ, a},{a, {veat:θ:pst, {eatθ, John}}}} John vsandwich:θ INFLv INFLv
WS 8: {{{sandwichθ, a},{a, {veat:θ:pst, {eatθ, John}}}},vsandwich:θ} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 7: {{sandwichθ, a},vsandwich:θ} John {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 7: {{a, {veat:θ:pst, {eatθ, John}}},vsandwich:θ} John {sandwichθ, a} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 5: {vsandwich:θ, sandwichθ} a {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 5: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} a sandwichθ vsandwich:θ INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 4: John {a, {veat:θ:pst, {eatθ, John}}} sandwichθ vsandwich:θ INFLv INFLv
WS 5: a John {a, {veat:θ:pst, {eatθ, John}}} sandwichθ vsandwich:θ INFLv INFLv
WS 6: {sandwichθ, a} John {a, {veat:θ:pst, {eatθ, John}}} vsandwich:θ INFLv INFLv
WS 7: {vsandwich:θ, {sandwichθ, a}} John {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS 8: {John, {vsandwich:θ, {sandwichθ, a}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS 9: {John, {INFLv, {John, {vsandwich:θ, {sandwichθ, a}}}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 9: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} {John, {vsandwich:θ, {sandwichθ, a}}} INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 9: {{John, {vsandwich:θ, {sandwichθ, a}}},{a, {veat:θ:pst, {eatθ, John}}}} INFLv INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 7: {{sandwichθ, a},{a, {veat:θ:pst, {eatθ, John}}}} John vsandwich:θ INFLv INFLv
WS 8: {{{sandwichθ, a},{a, {veat:θ:pst, {eatθ, John}}}},vsandwich:θ} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 7: {{sandwichθ, a},vsandwich:θ} John {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 7: {{a, {veat:θ:pst, {eatθ, John}}},vsandwich:θ} {sandwichθ, a} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 6: {sandwichθ, John} a {a, {veat:θ:pst, {eatθ, John}}} vsandwich:θ INFLv INFLv
WS 7: {vsandwich:θ, {sandwichθ, John}} a {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS 8: {a, {vsandwich:θ, {sandwichθ, John}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS 9: {a, {INFLv, {a, {vsandwich:θ, {sandwichθ, John}}}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 9: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} {a, {vsandwich:θ, {sandwichθ, John}}} INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 9: {{a, {vsandwich:θ, {sandwichθ, John}}},{a, {veat:θ:pst, {eatθ, John}}}} INFLv INFLv
WS 10: {a, {INFLv, {{a, {vsandwich:θ, {sandwichθ, John}}},{a, {veat:θ:pst, {eatθ, John}}}}}} 
Final WS: {C, {a, {INFLv, {{a, {vsandwich:θ, {sandwichθ, John}}},{a, {veat:θ:pst, {eatθ, John}}}}}}} 
INT/EXT: {C, {a, {INFLv, {{a, {vsandwich:θ, {sandwichθ, John}}}, {a, {veat:θ:pst, {eatθ, John}}}}}}}
Initial Spellout: a 3sg sandwich John 3sg pst eat John
Spellout: a 3sg sandwich John ate John
Error: inconsistent spellout
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 7: {{sandwichθ, John},{a, {veat:θ:pst, {eatθ, John}}}} a vsandwich:θ INFLv INFLv
WS 8: {{{sandwichθ, John},{a, {veat:θ:pst, {eatθ, John}}}},vsandwich:θ} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 7: {{sandwichθ, John},vsandwich:θ} a {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 7: {{a, {veat:θ:pst, {eatθ, John}}},vsandwich:θ} {sandwichθ, John} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 6: {vsandwich:θ, sandwichθ} a John {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS fail: WS θS 1 < θR 2
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 6: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} a John sandwichθ vsandwich:θ INFLv
WS 7: {sandwichθ,vsandwich:θ} {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} a John INFLv
WS fail: WS θS 0 < θR 2
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 6: {{a, {veat:θ:pst, {eatθ, John}}},sandwichθ} a John vsandwich:θ INFLv INFLv
WS fail: WS θS 1 < θR 2
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 6: {sandwichθ,vsandwich:θ} a John {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 2
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 5: {sandwichθ, John} {a, {veat:θ:pst, {eatθ, John}}} vsandwich:θ INFLv INFLv
WS 6: John {sandwichθ, John} {a, {veat:θ:pst, {eatθ, John}}} vsandwich:θ INFLv INFLv
WS 7: {vsandwich:θ, {sandwichθ, John}} John {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS 8: {John, {vsandwich:θ, {sandwichθ, John}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS 9: {John, {INFLv, {John, {vsandwich:θ, {sandwichθ, John}}}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 9: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} {John, {vsandwich:θ, {sandwichθ, John}}} INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 9: {{John, {vsandwich:θ, {sandwichθ, John}}},{a, {veat:θ:pst, {eatθ, John}}}} INFLv INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 7: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} John {sandwichθ, John} vsandwich:θ INFLv
WS 8: {{sandwichθ, John},vsandwich:θ} {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} John INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 7: {{sandwichθ, John},{a, {veat:θ:pst, {eatθ, John}}}} John vsandwich:θ INFLv INFLv
WS 8: {{{sandwichθ, John},{a, {veat:θ:pst, {eatθ, John}}}},vsandwich:θ} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 7: {{sandwichθ, John},vsandwich:θ} John {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 7: {{a, {veat:θ:pst, {eatθ, John}}},vsandwich:θ} John {sandwichθ, John} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 6: a {sandwichθ, John} {a, {veat:θ:pst, {eatθ, John}}} vsandwich:θ INFLv INFLv
WS 7: {vsandwich:θ, {sandwichθ, John}} a {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS 8: {a, {vsandwich:θ, {sandwichθ, John}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS 9: {a, {INFLv, {a, {vsandwich:θ, {sandwichθ, John}}}}} {a, {veat:θ:pst, {eatθ, John}}} INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 9: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} {a, {vsandwich:θ, {sandwichθ, John}}} INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 9: {{a, {vsandwich:θ, {sandwichθ, John}}},{a, {veat:θ:pst, {eatθ, John}}}} INFLv INFLv
WS 10: {a, {INFLv, {{a, {vsandwich:θ, {sandwichθ, John}}},{a, {veat:θ:pst, {eatθ, John}}}}}} 
Final WS: {C, {a, {INFLv, {{a, {vsandwich:θ, {sandwichθ, John}}},{a, {veat:θ:pst, {eatθ, John}}}}}}} 
INT/EXT: {C, {a, {INFLv, {{a, {vsandwich:θ, {sandwichθ, John}}}, {a, {veat:θ:pst, {eatθ, John}}}}}}}
Initial Spellout: a 3sg sandwich John 3sg pst eat John
Spellout: a 3sg sandwich John ate John
Error: inconsistent spellout
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 7: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} a {sandwichθ, John} vsandwich:θ INFLv
WS 8: {{sandwichθ, John},vsandwich:θ} {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} a INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 7: {{sandwichθ, John},{a, {veat:θ:pst, {eatθ, John}}}} a vsandwich:θ INFLv INFLv
WS 8: {{{sandwichθ, John},{a, {veat:θ:pst, {eatθ, John}}}},vsandwich:θ} a INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 7: {{sandwichθ, John},vsandwich:θ} a {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 7: {{a, {veat:θ:pst, {eatθ, John}}},vsandwich:θ} a {sandwichθ, John} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 5: {vsandwich:θ, sandwichθ} John {a, {veat:θ:pst, {eatθ, John}}} INFLv INFLv
WS 1: {eatθ, John} sandwichθ vsandwich:θ INFLv a veat:θ:pst INFLv
WS 5: {a, {INFLv, {a, {veat:θ:pst, {eatθ, John}}}}} John sandwichθ vsandwich:θ INFLv
WS 1: {vsandwich:θ, sandwichθ} INFLv a eatθ veat:θ:pst INFLv John 
WS 1: {veat:θ:pst, eatθ} sandwichθ vsandwich:θ INFLv a INFLv John 
Initial WS 4: 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
Initial WS 5: sandwichθ vsandwich:θ:pres INFLv eatθ veat:θ:pst INFLv John 
Error: Word actions [addFType(det,a,type(θRnoun))] failed to apply!
Initial WS 6: sandwichθ vsandwich:θ INFLv eatθ veat:θ:pst INFLv John 
Error: Word actions [addFType(det,a,type(θRnoun))] failed to apply!