[Right triangle ⏵ may be expanded, down triangle ⏷ to close. Button = tree pop-up. × = close pop-up.]
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, {INFL
v ,
{ {
John , {v
eat: θ: pst , {eat
θ , a}}}, {
John , {v
sandwich: θ: 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, {INFL
v ,
{ {
John , {v
eat: θ: pst , {eat
θ , John}}}, {
John , {v
sandwich: θ: 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, {INFL
v ,
{ {
John , {v
eat: θ: pst , {eat
θ , a}}}, {
John , {v
sandwich: θ: 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, {INFL
v ,
{ {
John , {v
eat: θ: pst , {eat
θ , a}}}, {
John , {v
sandwich: θ: 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, {INFL
v ,
{ {
a , {v
eat: θ: pst , {eat
θ , John}}}, {
a , {v
sandwich: θ: 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, {INFL
v ,
{ {
a , {v
eat: θ: pst , {eat
θ , a}}}, {
a , {v
sandwich: θ: 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, {INFL
v ,
{ {
a , {v
eat: θ: pst , {eat
θ , John}}}, {
a , {v
sandwich: θ: 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, {INFL
v ,
{ {
a , {v
eat: θ: pst , {eat
θ , John}}}, {
a , {v
sandwich: θ: 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, {INFL
v ,
{ {
John , {v
sandwich: θ: pres , {sandwich
θ , a}}}, {
John , {v
eat: θ: 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, {INFL
v ,
{ {
John , {v
sandwich: θ: pres , {sandwich
θ , John}}}, {
John , {v
eat: θ: 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, {INFL
v ,
{ {
John , {v
sandwich: θ: pres , {sandwich
θ , a}}}, {
John , {v
eat: θ: 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, {INFL
v ,
{ {
John , {v
sandwich: θ: pres , {sandwich
θ , a}}}, {
John , {v
eat: θ: 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, {INFL
v ,
{ {
a , {v
sandwich: θ: pres , {sandwich
θ , John}}}, {
a , {v
eat: θ: 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, {INFL
v ,
{ {
a , {v
sandwich: θ: pres , {sandwich
θ , a}}}, {
a , {v
eat: θ: 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, {INFL
v ,
{ {
a , {v
sandwich: θ: pres , {sandwich
θ , John}}}, {
a , {v
eat: θ: 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, {INFL
v ,
{ {
a , {v
sandwich: θ: pres , {sandwich
θ , John}}}, {
a , {v
eat: θ: 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, {INFL
v ,
{ {
John , {v
eat: θ: pst , {eat
θ , a}}}, {
John , {v
sandwich: θ , {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, {INFL
v ,
{ {
John , {v
eat: θ: pst , {eat
θ , John}}}, {
John , {v
sandwich: θ , {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, {INFL
v ,
{ {
John , {v
eat: θ: pst , {eat
θ , a}}}, {
John , {v
sandwich: θ , {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, {INFL
v ,
{ {
John , {v
eat: θ: pst , {eat
θ , a}}}, {
John , {v
sandwich: θ , {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, {INFL
v ,
{ {
a , {v
eat: θ: pst , {eat
θ , John}}}, {
a , {v
sandwich: θ , {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, {INFL
v ,
{ {
a , {v
eat: θ: pst , {eat
θ , a}}}, {
a , {v
sandwich: θ , {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, {INFL
v ,
{ {
a , {v
eat: θ: pst , {eat
θ , John}}}, {
a , {v
sandwich: θ , {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, {INFL
v ,
{ {
a , {v
eat: θ: pst , {eat
θ , John}}}, {
a , {v
sandwich: θ , {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, {INFL
v ,
{ {
John , {v
sandwich: θ , {sandwich
θ , a}}}, {
John , {v
eat: θ: 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, {INFL
v ,
{ {
John , {v
sandwich: θ , {sandwich
θ , John}}}, {
John , {v
eat: θ: 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, {INFL
v ,
{ {
John , {v
sandwich: θ , {sandwich
θ , a}}}, {
John , {v
eat: θ: 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, {INFL
v ,
{ {
John , {v
sandwich: θ , {sandwich
θ , a}}}, {
John , {v
eat: θ: 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, {INFL
v ,
{ {
a , {v
sandwich: θ , {sandwich
θ , John}}}, {
a , {v
eat: θ: 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, {INFL
v ,
{ {
a , {v
sandwich: θ , {sandwich
θ , a}}}, {
a , {v
eat: θ: 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, {INFL
v ,
{ {
a , {v
sandwich: θ , {sandwich
θ , John}}}, {
a , {v
eat: θ: 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, {INFL
v ,
{ {
a , {v
sandwich: θ , {sandwich
θ , John}}}, {
a , {v
eat: θ: 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