[Right triangle ⏵ may be expanded, down triangle ⏷ to close. Button = tree pop-up. × = close pop-up.]
Initial WS 2: foodthe eatθ: pastp veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 2: {veat: θ , {eatθ: pastp , foodthe }} INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 3: {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv beθ vbe: θ: pres INFLv: 3sg
WS 4: manthe {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv beθ vbe: θ: pres INFLv: 3sg
WS 5: foodthe manthe {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv beθ vbe: θ: pres INFLv: 3sg
WS 6: {beθ , foodthe } manthe {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv vbe: θ: pres INFLv: 3sg
WS 7: {vbe: θ: pres , {beθ , foodthe }} manthe {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv INFLv: 3sg
WS 8: {manthe , {vbe: θ: pres , {beθ , foodthe }}} {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv INFLv: 3sg
WS 9: {manthe , {INFLv , {manthe , {veat: θ , {eatθ: pastp , foodthe }}}}} {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv: 3sg
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 9: {manthe , {INFLv: 3sg , {manthe , {vbe: θ: pres , {beθ , foodthe }}}}} {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 9: { {manthe , {vbe: θ: pres , {beθ , foodthe }}},{manthe , {veat: θ , {eatθ: pastp , foodthe }}}} INFLv INFLv: 3sg
WS 10: {manthe , {INFLv: 3sg , { {manthe , {vbe: θ: pres , {beθ , foodthe }}},{manthe , {veat: θ , {eatθ: pastp , foodthe }}}} }}
Final WS: {C, {manthe , {INFLv: 3sg , { {manthe , {vbe: θ: pres , {beθ , foodthe }}},{manthe , {veat: θ , {eatθ: pastp , foodthe }}}} }}}
INT/EXT: {C, {man
the , {INFL
v: 3sg ,
{ {
man the , {v
be: θ: pres , {be
θ , food
the }}}, {
man the , {v
eat: θ , {eat
θ: pastp , food
the }}}
} }}}
Initial Spellout: the man 3sg pres be the food 3sg eat the food
Spellout: the man is the food eat the food
Error: inconsistent spellout
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 7: { {beθ , foodthe },{manthe , {veat: θ , {eatθ: pastp , foodthe }}}} manthe INFLv vbe: θ: pres INFLv: 3sg
WS 8: { { {beθ , foodthe },{manthe , {veat: θ , {eatθ: pastp , foodthe }}}} ,vbe: θ: pres } manthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 7: { {beθ , foodthe },vbe: θ: pres } manthe {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 7: { {manthe , {veat: θ , {eatθ: pastp , foodthe }}},vbe: θ: pres } {beθ , foodthe } manthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 6: {beθ , manthe } foodthe {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv vbe: θ: pres INFLv: 3sg
WS 7: {vbe: θ: pres , {beθ , manthe }} foodthe {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv INFLv: 3sg
WS 8: {foodthe , {vbe: θ: pres , {beθ , manthe }}} {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv INFLv: 3sg
WS 9: {manthe , {INFLv , {manthe , {veat: θ , {eatθ: pastp , foodthe }}}}} {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv: 3sg
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 9: {foodthe , {INFLv: 3sg , {foodthe , {vbe: θ: pres , {beθ , manthe }}}}} {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 9: { {foodthe , {vbe: θ: pres , {beθ , manthe }}},{manthe , {veat: θ , {eatθ: pastp , foodthe }}}} INFLv INFLv: 3sg
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 7: { {beθ , manthe },{manthe , {veat: θ , {eatθ: pastp , foodthe }}}} foodthe INFLv vbe: θ: pres INFLv: 3sg
WS 8: { { {beθ , manthe },{manthe , {veat: θ , {eatθ: pastp , foodthe }}}} ,vbe: θ: pres } foodthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 7: { {beθ , manthe },vbe: θ: pres } foodthe {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 7: { {manthe , {veat: θ , {eatθ: pastp , foodthe }}},vbe: θ: pres } {beθ , manthe } foodthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 6: {manthe , {INFLv , {manthe , {veat: θ , {eatθ: pastp , foodthe }}}}} foodthe manthe beθ vbe: θ: pres INFLv: 3sg
WS 7: { beθ ,vbe: θ: pres } {manthe , {INFLv , {manthe , {veat: θ , {eatθ: pastp , foodthe }}}}} foodthe manthe INFLv: 3sg
WS fail: WS θS 0 < θR 2
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 6: {vbe: θ: pres , beθ } foodthe manthe {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv INFLv: 3sg
WS fail: WS θS 1 < θR 2
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 6: { {manthe , {veat: θ , {eatθ: pastp , foodthe }}},beθ } foodthe manthe INFLv vbe: θ: pres INFLv: 3sg
WS fail: WS θS 1 < θR 2
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 6: { beθ ,vbe: θ: pres } foodthe manthe {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 2
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 5: {beθ , manthe } {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv vbe: θ: pres INFLv: 3sg
WS 6: manthe {beθ , manthe } {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv vbe: θ: pres INFLv: 3sg
WS 7: {manthe , {INFLv , {manthe , {veat: θ , {eatθ: pastp , foodthe }}}}} manthe {beθ , manthe } vbe: θ: pres INFLv: 3sg
WS 8: { {beθ , manthe },vbe: θ: pres } {manthe , {INFLv , {manthe , {veat: θ , {eatθ: pastp , foodthe }}}}} manthe INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 7: {vbe: θ: pres , {beθ , manthe }} manthe {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv INFLv: 3sg
WS 8: {manthe , {vbe: θ: pres , {beθ , manthe }}} {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv INFLv: 3sg
WS 9: {manthe , {INFLv , {manthe , {veat: θ , {eatθ: pastp , foodthe }}}}} {manthe , {vbe: θ: pres , {beθ , manthe }}} INFLv: 3sg
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 9: {manthe , {INFLv: 3sg , {manthe , {vbe: θ: pres , {beθ , manthe }}}}} {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 9: { {manthe , {vbe: θ: pres , {beθ , manthe }}},{manthe , {veat: θ , {eatθ: pastp , foodthe }}}} INFLv INFLv: 3sg
WS 10: {manthe , {INFLv: 3sg , { {manthe , {vbe: θ: pres , {beθ , manthe }}},{manthe , {veat: θ , {eatθ: pastp , foodthe }}}} }}
Final WS: {C, {manthe , {INFLv: 3sg , { {manthe , {vbe: θ: pres , {beθ , manthe }}},{manthe , {veat: θ , {eatθ: pastp , foodthe }}}} }}}
INT/EXT: {C, {man
the , {INFL
v: 3sg ,
{ {
man the , {v
be: θ: pres , {be
θ , man
the }}}, {
man the , {v
eat: θ , {eat
θ: pastp , food
the }}}
} }}}
Initial Spellout: the man 3sg pres be the man 3sg eat the food
Spellout: the man is the man eat the food
Error: inconsistent spellout
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 7: { {beθ , manthe },{manthe , {veat: θ , {eatθ: pastp , foodthe }}}} manthe INFLv vbe: θ: pres INFLv: 3sg
WS 8: { { {beθ , manthe },{manthe , {veat: θ , {eatθ: pastp , foodthe }}}} ,vbe: θ: pres } manthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 7: { {beθ , manthe },vbe: θ: pres } manthe {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 7: { {manthe , {veat: θ , {eatθ: pastp , foodthe }}},vbe: θ: pres } manthe {beθ , manthe } INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 6: foodthe {beθ , manthe } {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv vbe: θ: pres INFLv: 3sg
WS 7: {manthe , {INFLv , {manthe , {veat: θ , {eatθ: pastp , foodthe }}}}} foodthe {beθ , manthe } vbe: θ: pres INFLv: 3sg
WS 8: { {beθ , manthe },vbe: θ: pres } {manthe , {INFLv , {manthe , {veat: θ , {eatθ: pastp , foodthe }}}}} foodthe INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 7: {vbe: θ: pres , {beθ , manthe }} foodthe {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv INFLv: 3sg
WS 8: {foodthe , {vbe: θ: pres , {beθ , manthe }}} {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv INFLv: 3sg
WS 9: {manthe , {INFLv , {manthe , {veat: θ , {eatθ: pastp , foodthe }}}}} {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv: 3sg
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 9: {foodthe , {INFLv: 3sg , {foodthe , {vbe: θ: pres , {beθ , manthe }}}}} {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 9: { {foodthe , {vbe: θ: pres , {beθ , manthe }}},{manthe , {veat: θ , {eatθ: pastp , foodthe }}}} INFLv INFLv: 3sg
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 7: { {beθ , manthe },{manthe , {veat: θ , {eatθ: pastp , foodthe }}}} foodthe INFLv vbe: θ: pres INFLv: 3sg
WS 8: { { {beθ , manthe },{manthe , {veat: θ , {eatθ: pastp , foodthe }}}} ,vbe: θ: pres } foodthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 7: { {beθ , manthe },vbe: θ: pres } foodthe {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 7: { {manthe , {veat: θ , {eatθ: pastp , foodthe }}},vbe: θ: pres } foodthe {beθ , manthe } INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 5: {manthe , {INFLv , {manthe , {veat: θ , {eatθ: pastp , foodthe }}}}} manthe beθ vbe: θ: pres INFLv: 3sg
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 5: {vbe: θ: pres , beθ } manthe {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv INFLv: 3sg
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 4: foodthe {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv beθ vbe: θ: pres INFLv: 3sg
WS 5: manthe foodthe {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv beθ vbe: θ: pres INFLv: 3sg
WS 6: {beθ , manthe } foodthe {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv vbe: θ: pres INFLv: 3sg
WS 7: {vbe: θ: pres , {beθ , manthe }} foodthe {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv INFLv: 3sg
WS 8: {foodthe , {vbe: θ: pres , {beθ , manthe }}} {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv INFLv: 3sg
WS 9: {manthe , {INFLv , {manthe , {veat: θ , {eatθ: pastp , foodthe }}}}} {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv: 3sg
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 9: {foodthe , {INFLv: 3sg , {foodthe , {vbe: θ: pres , {beθ , manthe }}}}} {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 9: { {foodthe , {vbe: θ: pres , {beθ , manthe }}},{manthe , {veat: θ , {eatθ: pastp , foodthe }}}} INFLv INFLv: 3sg
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 7: { {beθ , manthe },{manthe , {veat: θ , {eatθ: pastp , foodthe }}}} foodthe INFLv vbe: θ: pres INFLv: 3sg
WS 8: { { {beθ , manthe },{manthe , {veat: θ , {eatθ: pastp , foodthe }}}} ,vbe: θ: pres } foodthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 7: { {beθ , manthe },vbe: θ: pres } foodthe {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 7: { {manthe , {veat: θ , {eatθ: pastp , foodthe }}},vbe: θ: pres } {beθ , manthe } foodthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 6: {beθ , foodthe } manthe {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv vbe: θ: pres INFLv: 3sg
WS 7: {vbe: θ: pres , {beθ , foodthe }} manthe {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv INFLv: 3sg
WS 8: {manthe , {vbe: θ: pres , {beθ , foodthe }}} {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv INFLv: 3sg
WS 9: {manthe , {INFLv , {manthe , {veat: θ , {eatθ: pastp , foodthe }}}}} {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv: 3sg
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 9: {manthe , {INFLv: 3sg , {manthe , {vbe: θ: pres , {beθ , foodthe }}}}} {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 9: { {manthe , {vbe: θ: pres , {beθ , foodthe }}},{manthe , {veat: θ , {eatθ: pastp , foodthe }}}} INFLv INFLv: 3sg
WS 10: {manthe , {INFLv: 3sg , { {manthe , {vbe: θ: pres , {beθ , foodthe }}},{manthe , {veat: θ , {eatθ: pastp , foodthe }}}} }}
Final WS: {C, {manthe , {INFLv: 3sg , { {manthe , {vbe: θ: pres , {beθ , foodthe }}},{manthe , {veat: θ , {eatθ: pastp , foodthe }}}} }}}
INT/EXT: {C, {man
the , {INFL
v: 3sg ,
{ {
man the , {v
be: θ: pres , {be
θ , food
the }}}, {
man the , {v
eat: θ , {eat
θ: pastp , food
the }}}
} }}}
Initial Spellout: the man 3sg pres be the food 3sg eat the food
Spellout: the man is the food eat the food
Error: inconsistent spellout
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 7: { {beθ , foodthe },{manthe , {veat: θ , {eatθ: pastp , foodthe }}}} manthe INFLv vbe: θ: pres INFLv: 3sg
WS 8: { { {beθ , foodthe },{manthe , {veat: θ , {eatθ: pastp , foodthe }}}} ,vbe: θ: pres } manthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 7: { {beθ , foodthe },vbe: θ: pres } manthe {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 7: { {manthe , {veat: θ , {eatθ: pastp , foodthe }}},vbe: θ: pres } {beθ , foodthe } manthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 6: {manthe , {INFLv , {manthe , {veat: θ , {eatθ: pastp , foodthe }}}}} manthe foodthe beθ vbe: θ: pres INFLv: 3sg
WS 7: { beθ ,vbe: θ: pres } {manthe , {INFLv , {manthe , {veat: θ , {eatθ: pastp , foodthe }}}}} manthe foodthe INFLv: 3sg
WS fail: WS θS 0 < θR 2
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 6: {vbe: θ: pres , beθ } manthe foodthe {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv INFLv: 3sg
WS fail: WS θS 1 < θR 2
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 6: { {manthe , {veat: θ , {eatθ: pastp , foodthe }}},beθ } manthe foodthe INFLv vbe: θ: pres INFLv: 3sg
WS fail: WS θS 1 < θR 2
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 6: { beθ ,vbe: θ: pres } manthe foodthe {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 2
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 5: {beθ , foodthe } {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv vbe: θ: pres INFLv: 3sg
WS 6: foodthe {beθ , foodthe } {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv vbe: θ: pres INFLv: 3sg
WS 7: {manthe , {INFLv , {manthe , {veat: θ , {eatθ: pastp , foodthe }}}}} foodthe {beθ , foodthe } vbe: θ: pres INFLv: 3sg
WS 8: { {beθ , foodthe },vbe: θ: pres } {manthe , {INFLv , {manthe , {veat: θ , {eatθ: pastp , foodthe }}}}} foodthe INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 7: {vbe: θ: pres , {beθ , foodthe }} foodthe {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv INFLv: 3sg
WS 8: {foodthe , {vbe: θ: pres , {beθ , foodthe }}} {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv INFLv: 3sg
WS 9: {manthe , {INFLv , {manthe , {veat: θ , {eatθ: pastp , foodthe }}}}} {foodthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv: 3sg
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 9: {foodthe , {INFLv: 3sg , {foodthe , {vbe: θ: pres , {beθ , foodthe }}}}} {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 9: { {foodthe , {vbe: θ: pres , {beθ , foodthe }}},{manthe , {veat: θ , {eatθ: pastp , foodthe }}}} INFLv INFLv: 3sg
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 7: { {beθ , foodthe },{manthe , {veat: θ , {eatθ: pastp , foodthe }}}} foodthe INFLv vbe: θ: pres INFLv: 3sg
WS 8: { { {beθ , foodthe },{manthe , {veat: θ , {eatθ: pastp , foodthe }}}} ,vbe: θ: pres } foodthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 7: { {beθ , foodthe },vbe: θ: pres } foodthe {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 7: { {manthe , {veat: θ , {eatθ: pastp , foodthe }}},vbe: θ: pres } foodthe {beθ , foodthe } INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 6: manthe {beθ , foodthe } {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv vbe: θ: pres INFLv: 3sg
WS 7: {manthe , {INFLv , {manthe , {veat: θ , {eatθ: pastp , foodthe }}}}} manthe {beθ , foodthe } vbe: θ: pres INFLv: 3sg
WS 8: { {beθ , foodthe },vbe: θ: pres } {manthe , {INFLv , {manthe , {veat: θ , {eatθ: pastp , foodthe }}}}} manthe INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 7: {vbe: θ: pres , {beθ , foodthe }} manthe {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv INFLv: 3sg
WS 8: {manthe , {vbe: θ: pres , {beθ , foodthe }}} {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv INFLv: 3sg
WS 9: {manthe , {INFLv , {manthe , {veat: θ , {eatθ: pastp , foodthe }}}}} {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv: 3sg
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 9: {manthe , {INFLv: 3sg , {manthe , {vbe: θ: pres , {beθ , foodthe }}}}} {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 9: { {manthe , {vbe: θ: pres , {beθ , foodthe }}},{manthe , {veat: θ , {eatθ: pastp , foodthe }}}} INFLv INFLv: 3sg
WS 10: {manthe , {INFLv: 3sg , { {manthe , {vbe: θ: pres , {beθ , foodthe }}},{manthe , {veat: θ , {eatθ: pastp , foodthe }}}} }}
Final WS: {C, {manthe , {INFLv: 3sg , { {manthe , {vbe: θ: pres , {beθ , foodthe }}},{manthe , {veat: θ , {eatθ: pastp , foodthe }}}} }}}
INT/EXT: {C, {man
the , {INFL
v: 3sg ,
{ {
man the , {v
be: θ: pres , {be
θ , food
the }}}, {
man the , {v
eat: θ , {eat
θ: pastp , food
the }}}
} }}}
Initial Spellout: the man 3sg pres be the food 3sg eat the food
Spellout: the man is the food eat the food
Error: inconsistent spellout
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 7: { {beθ , foodthe },{manthe , {veat: θ , {eatθ: pastp , foodthe }}}} manthe INFLv vbe: θ: pres INFLv: 3sg
WS 8: { { {beθ , foodthe },{manthe , {veat: θ , {eatθ: pastp , foodthe }}}} ,vbe: θ: pres } manthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 7: { {beθ , foodthe },vbe: θ: pres } manthe {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 7: { {manthe , {veat: θ , {eatθ: pastp , foodthe }}},vbe: θ: pres } manthe {beθ , foodthe } INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 5: {manthe , {INFLv , {manthe , {veat: θ , {eatθ: pastp , foodthe }}}}} foodthe beθ vbe: θ: pres INFLv: 3sg
WS 1: {eatθ: pastp , foodthe } veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 5: {vbe: θ: pres , beθ } foodthe {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv INFLv: 3sg
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 2: {veat: θ , {eatθ: pastp , manthe }} foodthe INFLv beθ vbe: θ: pres INFLv: 3sg
WS 3: {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv beθ vbe: θ: pres INFLv: 3sg
WS 4: foodthe {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv beθ vbe: θ: pres INFLv: 3sg
WS 5: manthe foodthe {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv beθ vbe: θ: pres INFLv: 3sg
WS 6: {beθ , manthe } foodthe {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv vbe: θ: pres INFLv: 3sg
WS 7: {vbe: θ: pres , {beθ , manthe }} foodthe {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv INFLv: 3sg
WS 8: {foodthe , {vbe: θ: pres , {beθ , manthe }}} {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv INFLv: 3sg
WS 9: {foodthe , {INFLv , {foodthe , {veat: θ , {eatθ: pastp , manthe }}}}} {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv: 3sg
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 9: {foodthe , {INFLv: 3sg , {foodthe , {vbe: θ: pres , {beθ , manthe }}}}} {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 9: { {foodthe , {vbe: θ: pres , {beθ , manthe }}},{foodthe , {veat: θ , {eatθ: pastp , manthe }}}} INFLv INFLv: 3sg
WS 10: {foodthe , {INFLv: 3sg , { {foodthe , {vbe: θ: pres , {beθ , manthe }}},{foodthe , {veat: θ , {eatθ: pastp , manthe }}}} }}
Final WS: {C, {foodthe , {INFLv: 3sg , { {foodthe , {vbe: θ: pres , {beθ , manthe }}},{foodthe , {veat: θ , {eatθ: pastp , manthe }}}} }}}
INT/EXT: {C, {food
the , {INFL
v: 3sg ,
{ {
food the , {v
be: θ: pres , {be
θ , man
the }}}, {
food the , {v
eat: θ , {eat
θ: pastp , man
the }}}
} }}}
Initial Spellout: the food 3sg pres be the man 3sg eat the man
Spellout: the food is the man eat the man
Error: inconsistent spellout
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 7: { {beθ , manthe },{foodthe , {veat: θ , {eatθ: pastp , manthe }}}} foodthe INFLv vbe: θ: pres INFLv: 3sg
WS 8: { { {beθ , manthe },{foodthe , {veat: θ , {eatθ: pastp , manthe }}}} ,vbe: θ: pres } foodthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 7: { {beθ , manthe },vbe: θ: pres } foodthe {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 7: { {foodthe , {veat: θ , {eatθ: pastp , manthe }}},vbe: θ: pres } {beθ , manthe } foodthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 6: {beθ , foodthe } manthe {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv vbe: θ: pres INFLv: 3sg
WS 7: {vbe: θ: pres , {beθ , foodthe }} manthe {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv INFLv: 3sg
WS 8: {manthe , {vbe: θ: pres , {beθ , foodthe }}} {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv INFLv: 3sg
WS 9: {foodthe , {INFLv , {foodthe , {veat: θ , {eatθ: pastp , manthe }}}}} {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv: 3sg
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 9: {manthe , {INFLv: 3sg , {manthe , {vbe: θ: pres , {beθ , foodthe }}}}} {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 9: { {manthe , {vbe: θ: pres , {beθ , foodthe }}},{foodthe , {veat: θ , {eatθ: pastp , manthe }}}} INFLv INFLv: 3sg
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 7: { {beθ , foodthe },{foodthe , {veat: θ , {eatθ: pastp , manthe }}}} manthe INFLv vbe: θ: pres INFLv: 3sg
WS 8: { { {beθ , foodthe },{foodthe , {veat: θ , {eatθ: pastp , manthe }}}} ,vbe: θ: pres } manthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 7: { {beθ , foodthe },vbe: θ: pres } manthe {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 7: { {foodthe , {veat: θ , {eatθ: pastp , manthe }}},vbe: θ: pres } {beθ , foodthe } manthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 6: {foodthe , {INFLv , {foodthe , {veat: θ , {eatθ: pastp , manthe }}}}} manthe foodthe beθ vbe: θ: pres INFLv: 3sg
WS 7: { beθ ,vbe: θ: pres } {foodthe , {INFLv , {foodthe , {veat: θ , {eatθ: pastp , manthe }}}}} manthe foodthe INFLv: 3sg
WS fail: WS θS 0 < θR 2
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 6: {vbe: θ: pres , beθ } manthe foodthe {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv INFLv: 3sg
WS fail: WS θS 1 < θR 2
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 6: { {foodthe , {veat: θ , {eatθ: pastp , manthe }}},beθ } manthe foodthe INFLv vbe: θ: pres INFLv: 3sg
WS fail: WS θS 1 < θR 2
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 6: { beθ ,vbe: θ: pres } manthe foodthe {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 2
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 5: {beθ , foodthe } {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv vbe: θ: pres INFLv: 3sg
WS 6: foodthe {beθ , foodthe } {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv vbe: θ: pres INFLv: 3sg
WS 7: {foodthe , {INFLv , {foodthe , {veat: θ , {eatθ: pastp , manthe }}}}} foodthe {beθ , foodthe } vbe: θ: pres INFLv: 3sg
WS 8: { {beθ , foodthe },vbe: θ: pres } {foodthe , {INFLv , {foodthe , {veat: θ , {eatθ: pastp , manthe }}}}} foodthe INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 7: {vbe: θ: pres , {beθ , foodthe }} foodthe {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv INFLv: 3sg
WS 8: {foodthe , {vbe: θ: pres , {beθ , foodthe }}} {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv INFLv: 3sg
WS 9: {foodthe , {INFLv , {foodthe , {veat: θ , {eatθ: pastp , manthe }}}}} {foodthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv: 3sg
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 9: {foodthe , {INFLv: 3sg , {foodthe , {vbe: θ: pres , {beθ , foodthe }}}}} {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 9: { {foodthe , {vbe: θ: pres , {beθ , foodthe }}},{foodthe , {veat: θ , {eatθ: pastp , manthe }}}} INFLv INFLv: 3sg
WS 10: {foodthe , {INFLv: 3sg , { {foodthe , {vbe: θ: pres , {beθ , foodthe }}},{foodthe , {veat: θ , {eatθ: pastp , manthe }}}} }}
Final WS: {C, {foodthe , {INFLv: 3sg , { {foodthe , {vbe: θ: pres , {beθ , foodthe }}},{foodthe , {veat: θ , {eatθ: pastp , manthe }}}} }}}
INT/EXT: {C, {food
the , {INFL
v: 3sg ,
{ {
food the , {v
be: θ: pres , {be
θ , food
the }}}, {
food the , {v
eat: θ , {eat
θ: pastp , man
the }}}
} }}}
Initial Spellout: the food 3sg pres be the food 3sg eat the man
Spellout: the food is the food eat the man
Error: inconsistent spellout
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 7: { {beθ , foodthe },{foodthe , {veat: θ , {eatθ: pastp , manthe }}}} foodthe INFLv vbe: θ: pres INFLv: 3sg
WS 8: { { {beθ , foodthe },{foodthe , {veat: θ , {eatθ: pastp , manthe }}}} ,vbe: θ: pres } foodthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 7: { {beθ , foodthe },vbe: θ: pres } foodthe {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 7: { {foodthe , {veat: θ , {eatθ: pastp , manthe }}},vbe: θ: pres } foodthe {beθ , foodthe } INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 6: manthe {beθ , foodthe } {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv vbe: θ: pres INFLv: 3sg
WS 7: {foodthe , {INFLv , {foodthe , {veat: θ , {eatθ: pastp , manthe }}}}} manthe {beθ , foodthe } vbe: θ: pres INFLv: 3sg
WS 8: { {beθ , foodthe },vbe: θ: pres } {foodthe , {INFLv , {foodthe , {veat: θ , {eatθ: pastp , manthe }}}}} manthe INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 7: {vbe: θ: pres , {beθ , foodthe }} manthe {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv INFLv: 3sg
WS 8: {manthe , {vbe: θ: pres , {beθ , foodthe }}} {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv INFLv: 3sg
WS 9: {foodthe , {INFLv , {foodthe , {veat: θ , {eatθ: pastp , manthe }}}}} {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv: 3sg
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 9: {manthe , {INFLv: 3sg , {manthe , {vbe: θ: pres , {beθ , foodthe }}}}} {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 9: { {manthe , {vbe: θ: pres , {beθ , foodthe }}},{foodthe , {veat: θ , {eatθ: pastp , manthe }}}} INFLv INFLv: 3sg
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 7: { {beθ , foodthe },{foodthe , {veat: θ , {eatθ: pastp , manthe }}}} manthe INFLv vbe: θ: pres INFLv: 3sg
WS 8: { { {beθ , foodthe },{foodthe , {veat: θ , {eatθ: pastp , manthe }}}} ,vbe: θ: pres } manthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 7: { {beθ , foodthe },vbe: θ: pres } manthe {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 7: { {foodthe , {veat: θ , {eatθ: pastp , manthe }}},vbe: θ: pres } manthe {beθ , foodthe } INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 5: {foodthe , {INFLv , {foodthe , {veat: θ , {eatθ: pastp , manthe }}}}} foodthe beθ vbe: θ: pres INFLv: 3sg
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 5: {vbe: θ: pres , beθ } foodthe {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv INFLv: 3sg
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 4: manthe {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv beθ vbe: θ: pres INFLv: 3sg
WS 5: foodthe manthe {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv beθ vbe: θ: pres INFLv: 3sg
WS 6: {beθ , foodthe } manthe {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv vbe: θ: pres INFLv: 3sg
WS 7: {vbe: θ: pres , {beθ , foodthe }} manthe {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv INFLv: 3sg
WS 8: {manthe , {vbe: θ: pres , {beθ , foodthe }}} {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv INFLv: 3sg
WS 9: {foodthe , {INFLv , {foodthe , {veat: θ , {eatθ: pastp , manthe }}}}} {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv: 3sg
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 9: {manthe , {INFLv: 3sg , {manthe , {vbe: θ: pres , {beθ , foodthe }}}}} {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 9: { {manthe , {vbe: θ: pres , {beθ , foodthe }}},{foodthe , {veat: θ , {eatθ: pastp , manthe }}}} INFLv INFLv: 3sg
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 7: { {beθ , foodthe },{foodthe , {veat: θ , {eatθ: pastp , manthe }}}} manthe INFLv vbe: θ: pres INFLv: 3sg
WS 8: { { {beθ , foodthe },{foodthe , {veat: θ , {eatθ: pastp , manthe }}}} ,vbe: θ: pres } manthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 7: { {beθ , foodthe },vbe: θ: pres } manthe {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 7: { {foodthe , {veat: θ , {eatθ: pastp , manthe }}},vbe: θ: pres } {beθ , foodthe } manthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 6: {beθ , manthe } foodthe {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv vbe: θ: pres INFLv: 3sg
WS 7: {vbe: θ: pres , {beθ , manthe }} foodthe {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv INFLv: 3sg
WS 8: {foodthe , {vbe: θ: pres , {beθ , manthe }}} {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv INFLv: 3sg
WS 9: {foodthe , {INFLv , {foodthe , {veat: θ , {eatθ: pastp , manthe }}}}} {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv: 3sg
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 9: {foodthe , {INFLv: 3sg , {foodthe , {vbe: θ: pres , {beθ , manthe }}}}} {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 9: { {foodthe , {vbe: θ: pres , {beθ , manthe }}},{foodthe , {veat: θ , {eatθ: pastp , manthe }}}} INFLv INFLv: 3sg
WS 10: {foodthe , {INFLv: 3sg , { {foodthe , {vbe: θ: pres , {beθ , manthe }}},{foodthe , {veat: θ , {eatθ: pastp , manthe }}}} }}
Final WS: {C, {foodthe , {INFLv: 3sg , { {foodthe , {vbe: θ: pres , {beθ , manthe }}},{foodthe , {veat: θ , {eatθ: pastp , manthe }}}} }}}
INT/EXT: {C, {food
the , {INFL
v: 3sg ,
{ {
food the , {v
be: θ: pres , {be
θ , man
the }}}, {
food the , {v
eat: θ , {eat
θ: pastp , man
the }}}
} }}}
Initial Spellout: the food 3sg pres be the man 3sg eat the man
Spellout: the food is the man eat the man
Error: inconsistent spellout
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 7: { {beθ , manthe },{foodthe , {veat: θ , {eatθ: pastp , manthe }}}} foodthe INFLv vbe: θ: pres INFLv: 3sg
WS 8: { { {beθ , manthe },{foodthe , {veat: θ , {eatθ: pastp , manthe }}}} ,vbe: θ: pres } foodthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 7: { {beθ , manthe },vbe: θ: pres } foodthe {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 7: { {foodthe , {veat: θ , {eatθ: pastp , manthe }}},vbe: θ: pres } {beθ , manthe } foodthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 6: {foodthe , {INFLv , {foodthe , {veat: θ , {eatθ: pastp , manthe }}}}} foodthe manthe beθ vbe: θ: pres INFLv: 3sg
WS 7: { beθ ,vbe: θ: pres } {foodthe , {INFLv , {foodthe , {veat: θ , {eatθ: pastp , manthe }}}}} foodthe manthe INFLv: 3sg
WS fail: WS θS 0 < θR 2
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 6: {vbe: θ: pres , beθ } foodthe manthe {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv INFLv: 3sg
WS fail: WS θS 1 < θR 2
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 6: { {foodthe , {veat: θ , {eatθ: pastp , manthe }}},beθ } foodthe manthe INFLv vbe: θ: pres INFLv: 3sg
WS fail: WS θS 1 < θR 2
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 6: { beθ ,vbe: θ: pres } foodthe manthe {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 2
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 5: {beθ , manthe } {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv vbe: θ: pres INFLv: 3sg
WS 6: manthe {beθ , manthe } {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv vbe: θ: pres INFLv: 3sg
WS 7: {foodthe , {INFLv , {foodthe , {veat: θ , {eatθ: pastp , manthe }}}}} manthe {beθ , manthe } vbe: θ: pres INFLv: 3sg
WS 8: { {beθ , manthe },vbe: θ: pres } {foodthe , {INFLv , {foodthe , {veat: θ , {eatθ: pastp , manthe }}}}} manthe INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 7: {vbe: θ: pres , {beθ , manthe }} manthe {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv INFLv: 3sg
WS 8: {manthe , {vbe: θ: pres , {beθ , manthe }}} {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv INFLv: 3sg
WS 9: {foodthe , {INFLv , {foodthe , {veat: θ , {eatθ: pastp , manthe }}}}} {manthe , {vbe: θ: pres , {beθ , manthe }}} INFLv: 3sg
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 9: {manthe , {INFLv: 3sg , {manthe , {vbe: θ: pres , {beθ , manthe }}}}} {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 9: { {manthe , {vbe: θ: pres , {beθ , manthe }}},{foodthe , {veat: θ , {eatθ: pastp , manthe }}}} INFLv INFLv: 3sg
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 7: { {beθ , manthe },{foodthe , {veat: θ , {eatθ: pastp , manthe }}}} manthe INFLv vbe: θ: pres INFLv: 3sg
WS 8: { { {beθ , manthe },{foodthe , {veat: θ , {eatθ: pastp , manthe }}}} ,vbe: θ: pres } manthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 7: { {beθ , manthe },vbe: θ: pres } manthe {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 7: { {foodthe , {veat: θ , {eatθ: pastp , manthe }}},vbe: θ: pres } manthe {beθ , manthe } INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 6: foodthe {beθ , manthe } {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv vbe: θ: pres INFLv: 3sg
WS 7: {foodthe , {INFLv , {foodthe , {veat: θ , {eatθ: pastp , manthe }}}}} foodthe {beθ , manthe } vbe: θ: pres INFLv: 3sg
WS 8: { {beθ , manthe },vbe: θ: pres } {foodthe , {INFLv , {foodthe , {veat: θ , {eatθ: pastp , manthe }}}}} foodthe INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 7: {vbe: θ: pres , {beθ , manthe }} foodthe {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv INFLv: 3sg
WS 8: {foodthe , {vbe: θ: pres , {beθ , manthe }}} {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv INFLv: 3sg
WS 9: {foodthe , {INFLv , {foodthe , {veat: θ , {eatθ: pastp , manthe }}}}} {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv: 3sg
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 9: {foodthe , {INFLv: 3sg , {foodthe , {vbe: θ: pres , {beθ , manthe }}}}} {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 9: { {foodthe , {vbe: θ: pres , {beθ , manthe }}},{foodthe , {veat: θ , {eatθ: pastp , manthe }}}} INFLv INFLv: 3sg
WS 10: {foodthe , {INFLv: 3sg , { {foodthe , {vbe: θ: pres , {beθ , manthe }}},{foodthe , {veat: θ , {eatθ: pastp , manthe }}}} }}
Final WS: {C, {foodthe , {INFLv: 3sg , { {foodthe , {vbe: θ: pres , {beθ , manthe }}},{foodthe , {veat: θ , {eatθ: pastp , manthe }}}} }}}
INT/EXT: {C, {food
the , {INFL
v: 3sg ,
{ {
food the , {v
be: θ: pres , {be
θ , man
the }}}, {
food the , {v
eat: θ , {eat
θ: pastp , man
the }}}
} }}}
Initial Spellout: the food 3sg pres be the man 3sg eat the man
Spellout: the food is the man eat the man
Error: inconsistent spellout
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 7: { {beθ , manthe },{foodthe , {veat: θ , {eatθ: pastp , manthe }}}} foodthe INFLv vbe: θ: pres INFLv: 3sg
WS 8: { { {beθ , manthe },{foodthe , {veat: θ , {eatθ: pastp , manthe }}}} ,vbe: θ: pres } foodthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 7: { {beθ , manthe },vbe: θ: pres } foodthe {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 7: { {foodthe , {veat: θ , {eatθ: pastp , manthe }}},vbe: θ: pres } foodthe {beθ , manthe } INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 5: {foodthe , {INFLv , {foodthe , {veat: θ , {eatθ: pastp , manthe }}}}} manthe beθ vbe: θ: pres INFLv: 3sg
WS 1: {eatθ: pastp , manthe } foodthe veat: θ INFLv beθ vbe: θ: pres INFLv: 3sg
WS 5: {vbe: θ: pres , beθ } manthe {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv INFLv: 3sg
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 2: {vbe: θ: pres , {beθ , foodthe }} eatθ: pastp veat: θ INFLv INFLv: 3sg manthe
WS 3: {manthe , {vbe: θ: pres , {beθ , foodthe }}} eatθ: pastp veat: θ INFLv INFLv: 3sg
WS 4: manthe {manthe , {vbe: θ: pres , {beθ , foodthe }}} eatθ: pastp veat: θ INFLv INFLv: 3sg
WS 5: foodthe manthe {manthe , {vbe: θ: pres , {beθ , foodthe }}} eatθ: pastp veat: θ INFLv INFLv: 3sg
WS 6: {eatθ: pastp , foodthe } manthe {manthe , {vbe: θ: pres , {beθ , foodthe }}} veat: θ INFLv INFLv: 3sg
WS 7: {veat: θ , {eatθ: pastp , foodthe }} manthe {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv INFLv: 3sg
WS 8: {manthe , {veat: θ , {eatθ: pastp , foodthe }}} {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv INFLv: 3sg
WS 9: {manthe , {INFLv , {manthe , {veat: θ , {eatθ: pastp , foodthe }}}}} {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv: 3sg
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 9: {manthe , {INFLv: 3sg , {manthe , {vbe: θ: pres , {beθ , foodthe }}}}} {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 9: { {manthe , {veat: θ , {eatθ: pastp , foodthe }}},{manthe , {vbe: θ: pres , {beθ , foodthe }}}} INFLv INFLv: 3sg
WS 10: {manthe , {INFLv , { {manthe , {veat: θ , {eatθ: pastp , foodthe }}},{manthe , {vbe: θ: pres , {beθ , foodthe }}}} }}
Final WS: {C, {manthe , {INFLv , { {manthe , {veat: θ , {eatθ: pastp , foodthe }}},{manthe , {vbe: θ: pres , {beθ , foodthe }}}} }}}
INT/EXT: {C, {man
the , {INFL
v ,
{ {
man the , {v
eat: θ , {eat
θ: pastp , food
the }}}, {
man the , {v
be: θ: pres , {be
θ , food
the }}}
} }}}
Initial Spellout: the man 3sg eat the food 3sg pres be the food
Spellout: the man eat the food is the food
Error: inconsistent spellout
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 7: { {eatθ: pastp , foodthe },{manthe , {vbe: θ: pres , {beθ , foodthe }}}} manthe veat: θ INFLv INFLv: 3sg
WS 8: { { {eatθ: pastp , foodthe },{manthe , {vbe: θ: pres , {beθ , foodthe }}}} ,veat: θ } manthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 7: { {eatθ: pastp , foodthe },veat: θ } manthe {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 7: { {manthe , {vbe: θ: pres , {beθ , foodthe }}},veat: θ } {eatθ: pastp , foodthe } manthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 6: {eatθ: pastp , manthe } foodthe {manthe , {vbe: θ: pres , {beθ , foodthe }}} veat: θ INFLv INFLv: 3sg
WS 7: {veat: θ , {eatθ: pastp , manthe }} foodthe {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv INFLv: 3sg
WS 8: {foodthe , {veat: θ , {eatθ: pastp , manthe }}} {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv INFLv: 3sg
WS 9: {foodthe , {INFLv , {foodthe , {veat: θ , {eatθ: pastp , manthe }}}}} {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv: 3sg
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 9: {manthe , {INFLv: 3sg , {manthe , {vbe: θ: pres , {beθ , foodthe }}}}} {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 9: { {foodthe , {veat: θ , {eatθ: pastp , manthe }}},{manthe , {vbe: θ: pres , {beθ , foodthe }}}} INFLv INFLv: 3sg
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 7: { {eatθ: pastp , manthe },{manthe , {vbe: θ: pres , {beθ , foodthe }}}} foodthe veat: θ INFLv INFLv: 3sg
WS 8: { { {eatθ: pastp , manthe },{manthe , {vbe: θ: pres , {beθ , foodthe }}}} ,veat: θ } foodthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 7: { {eatθ: pastp , manthe },veat: θ } foodthe {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 7: { {manthe , {vbe: θ: pres , {beθ , foodthe }}},veat: θ } {eatθ: pastp , manthe } foodthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 6: {veat: θ , eatθ: pastp } foodthe manthe {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv INFLv: 3sg
WS fail: WS θS 1 < θR 2
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 6: {manthe , {INFLv: 3sg , {manthe , {vbe: θ: pres , {beθ , foodthe }}}}} foodthe manthe eatθ: pastp veat: θ INFLv
WS 7: { eatθ: pastp ,veat: θ } {manthe , {INFLv: 3sg , {manthe , {vbe: θ: pres , {beθ , foodthe }}}}} foodthe manthe INFLv
WS fail: WS θS 0 < θR 2
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 6: { {manthe , {vbe: θ: pres , {beθ , foodthe }}},eatθ: pastp } foodthe manthe veat: θ INFLv INFLv: 3sg
WS fail: WS θS 1 < θR 2
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 6: { eatθ: pastp ,veat: θ } foodthe manthe {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 2
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 5: {eatθ: pastp , manthe } {manthe , {vbe: θ: pres , {beθ , foodthe }}} veat: θ INFLv INFLv: 3sg
WS 6: manthe {eatθ: pastp , manthe } {manthe , {vbe: θ: pres , {beθ , foodthe }}} veat: θ INFLv INFLv: 3sg
WS 7: {veat: θ , {eatθ: pastp , manthe }} manthe {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv INFLv: 3sg
WS 8: {manthe , {veat: θ , {eatθ: pastp , manthe }}} {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv INFLv: 3sg
WS 9: {manthe , {INFLv , {manthe , {veat: θ , {eatθ: pastp , manthe }}}}} {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv: 3sg
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 9: {manthe , {INFLv: 3sg , {manthe , {vbe: θ: pres , {beθ , foodthe }}}}} {manthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 9: { {manthe , {veat: θ , {eatθ: pastp , manthe }}},{manthe , {vbe: θ: pres , {beθ , foodthe }}}} INFLv INFLv: 3sg
WS 10: {manthe , {INFLv , { {manthe , {veat: θ , {eatθ: pastp , manthe }}},{manthe , {vbe: θ: pres , {beθ , foodthe }}}} }}
Final WS: {C, {manthe , {INFLv , { {manthe , {veat: θ , {eatθ: pastp , manthe }}},{manthe , {vbe: θ: pres , {beθ , foodthe }}}} }}}
INT/EXT: {C, {man
the , {INFL
v ,
{ {
man the , {v
eat: θ , {eat
θ: pastp , man
the }}}, {
man the , {v
be: θ: pres , {be
θ , food
the }}}
} }}}
Initial Spellout: the man 3sg eat the man 3sg pres be the food
Spellout: the man eat the man is the food
Error: inconsistent spellout
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 7: {manthe , {INFLv: 3sg , {manthe , {vbe: θ: pres , {beθ , foodthe }}}}} manthe {eatθ: pastp , manthe } veat: θ INFLv
WS 8: { {eatθ: pastp , manthe },veat: θ } {manthe , {INFLv: 3sg , {manthe , {vbe: θ: pres , {beθ , foodthe }}}}} manthe INFLv
WS fail: WS θS 0 < θR 1
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 7: { {eatθ: pastp , manthe },{manthe , {vbe: θ: pres , {beθ , foodthe }}}} manthe veat: θ INFLv INFLv: 3sg
WS 8: { { {eatθ: pastp , manthe },{manthe , {vbe: θ: pres , {beθ , foodthe }}}} ,veat: θ } manthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 7: { {eatθ: pastp , manthe },veat: θ } manthe {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 7: { {manthe , {vbe: θ: pres , {beθ , foodthe }}},veat: θ } manthe {eatθ: pastp , manthe } INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 6: foodthe {eatθ: pastp , manthe } {manthe , {vbe: θ: pres , {beθ , foodthe }}} veat: θ INFLv INFLv: 3sg
WS 7: {veat: θ , {eatθ: pastp , manthe }} foodthe {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv INFLv: 3sg
WS 8: {foodthe , {veat: θ , {eatθ: pastp , manthe }}} {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv INFLv: 3sg
WS 9: {foodthe , {INFLv , {foodthe , {veat: θ , {eatθ: pastp , manthe }}}}} {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv: 3sg
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 9: {manthe , {INFLv: 3sg , {manthe , {vbe: θ: pres , {beθ , foodthe }}}}} {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 9: { {foodthe , {veat: θ , {eatθ: pastp , manthe }}},{manthe , {vbe: θ: pres , {beθ , foodthe }}}} INFLv INFLv: 3sg
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 7: {manthe , {INFLv: 3sg , {manthe , {vbe: θ: pres , {beθ , foodthe }}}}} foodthe {eatθ: pastp , manthe } veat: θ INFLv
WS 8: { {eatθ: pastp , manthe },veat: θ } {manthe , {INFLv: 3sg , {manthe , {vbe: θ: pres , {beθ , foodthe }}}}} foodthe INFLv
WS fail: WS θS 0 < θR 1
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 7: { {eatθ: pastp , manthe },{manthe , {vbe: θ: pres , {beθ , foodthe }}}} foodthe veat: θ INFLv INFLv: 3sg
WS 8: { { {eatθ: pastp , manthe },{manthe , {vbe: θ: pres , {beθ , foodthe }}}} ,veat: θ } foodthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 7: { {eatθ: pastp , manthe },veat: θ } foodthe {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 7: { {manthe , {vbe: θ: pres , {beθ , foodthe }}},veat: θ } foodthe {eatθ: pastp , manthe } INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 5: {veat: θ , eatθ: pastp } manthe {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv INFLv: 3sg
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 5: {manthe , {INFLv: 3sg , {manthe , {vbe: θ: pres , {beθ , foodthe }}}}} manthe eatθ: pastp veat: θ INFLv
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 4: foodthe {manthe , {vbe: θ: pres , {beθ , foodthe }}} eatθ: pastp veat: θ INFLv INFLv: 3sg
WS 5: manthe foodthe {manthe , {vbe: θ: pres , {beθ , foodthe }}} eatθ: pastp veat: θ INFLv INFLv: 3sg
WS 6: {eatθ: pastp , manthe } foodthe {manthe , {vbe: θ: pres , {beθ , foodthe }}} veat: θ INFLv INFLv: 3sg
WS 7: {veat: θ , {eatθ: pastp , manthe }} foodthe {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv INFLv: 3sg
WS 8: {foodthe , {veat: θ , {eatθ: pastp , manthe }}} {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv INFLv: 3sg
WS 9: {foodthe , {INFLv , {foodthe , {veat: θ , {eatθ: pastp , manthe }}}}} {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv: 3sg
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 9: {manthe , {INFLv: 3sg , {manthe , {vbe: θ: pres , {beθ , foodthe }}}}} {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 9: { {foodthe , {veat: θ , {eatθ: pastp , manthe }}},{manthe , {vbe: θ: pres , {beθ , foodthe }}}} INFLv INFLv: 3sg
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 7: { {eatθ: pastp , manthe },{manthe , {vbe: θ: pres , {beθ , foodthe }}}} foodthe veat: θ INFLv INFLv: 3sg
WS 8: { { {eatθ: pastp , manthe },{manthe , {vbe: θ: pres , {beθ , foodthe }}}} ,veat: θ } foodthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 7: { {eatθ: pastp , manthe },veat: θ } foodthe {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 7: { {manthe , {vbe: θ: pres , {beθ , foodthe }}},veat: θ } {eatθ: pastp , manthe } foodthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 6: {eatθ: pastp , foodthe } manthe {manthe , {vbe: θ: pres , {beθ , foodthe }}} veat: θ INFLv INFLv: 3sg
WS 7: {veat: θ , {eatθ: pastp , foodthe }} manthe {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv INFLv: 3sg
WS 8: {manthe , {veat: θ , {eatθ: pastp , foodthe }}} {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv INFLv: 3sg
WS 9: {manthe , {INFLv , {manthe , {veat: θ , {eatθ: pastp , foodthe }}}}} {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv: 3sg
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 9: {manthe , {INFLv: 3sg , {manthe , {vbe: θ: pres , {beθ , foodthe }}}}} {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 9: { {manthe , {veat: θ , {eatθ: pastp , foodthe }}},{manthe , {vbe: θ: pres , {beθ , foodthe }}}} INFLv INFLv: 3sg
WS 10: {manthe , {INFLv , { {manthe , {veat: θ , {eatθ: pastp , foodthe }}},{manthe , {vbe: θ: pres , {beθ , foodthe }}}} }}
Final WS: {C, {manthe , {INFLv , { {manthe , {veat: θ , {eatθ: pastp , foodthe }}},{manthe , {vbe: θ: pres , {beθ , foodthe }}}} }}}
INT/EXT: {C, {man
the , {INFL
v ,
{ {
man the , {v
eat: θ , {eat
θ: pastp , food
the }}}, {
man the , {v
be: θ: pres , {be
θ , food
the }}}
} }}}
Initial Spellout: the man 3sg eat the food 3sg pres be the food
Spellout: the man eat the food is the food
Error: inconsistent spellout
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 7: { {eatθ: pastp , foodthe },{manthe , {vbe: θ: pres , {beθ , foodthe }}}} manthe veat: θ INFLv INFLv: 3sg
WS 8: { { {eatθ: pastp , foodthe },{manthe , {vbe: θ: pres , {beθ , foodthe }}}} ,veat: θ } manthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 7: { {eatθ: pastp , foodthe },veat: θ } manthe {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 7: { {manthe , {vbe: θ: pres , {beθ , foodthe }}},veat: θ } {eatθ: pastp , foodthe } manthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 6: {veat: θ , eatθ: pastp } manthe foodthe {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv INFLv: 3sg
WS fail: WS θS 1 < θR 2
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 6: {manthe , {INFLv: 3sg , {manthe , {vbe: θ: pres , {beθ , foodthe }}}}} manthe foodthe eatθ: pastp veat: θ INFLv
WS 7: { eatθ: pastp ,veat: θ } {manthe , {INFLv: 3sg , {manthe , {vbe: θ: pres , {beθ , foodthe }}}}} manthe foodthe INFLv
WS fail: WS θS 0 < θR 2
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 6: { {manthe , {vbe: θ: pres , {beθ , foodthe }}},eatθ: pastp } manthe foodthe veat: θ INFLv INFLv: 3sg
WS fail: WS θS 1 < θR 2
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 6: { eatθ: pastp ,veat: θ } manthe foodthe {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 2
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 5: {eatθ: pastp , foodthe } {manthe , {vbe: θ: pres , {beθ , foodthe }}} veat: θ INFLv INFLv: 3sg
WS 6: foodthe {eatθ: pastp , foodthe } {manthe , {vbe: θ: pres , {beθ , foodthe }}} veat: θ INFLv INFLv: 3sg
WS 7: {veat: θ , {eatθ: pastp , foodthe }} foodthe {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv INFLv: 3sg
WS 8: {foodthe , {veat: θ , {eatθ: pastp , foodthe }}} {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv INFLv: 3sg
WS 9: {foodthe , {INFLv , {foodthe , {veat: θ , {eatθ: pastp , foodthe }}}}} {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv: 3sg
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 9: {manthe , {INFLv: 3sg , {manthe , {vbe: θ: pres , {beθ , foodthe }}}}} {foodthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 9: { {foodthe , {veat: θ , {eatθ: pastp , foodthe }}},{manthe , {vbe: θ: pres , {beθ , foodthe }}}} INFLv INFLv: 3sg
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 7: {manthe , {INFLv: 3sg , {manthe , {vbe: θ: pres , {beθ , foodthe }}}}} foodthe {eatθ: pastp , foodthe } veat: θ INFLv
WS 8: { {eatθ: pastp , foodthe },veat: θ } {manthe , {INFLv: 3sg , {manthe , {vbe: θ: pres , {beθ , foodthe }}}}} foodthe INFLv
WS fail: WS θS 0 < θR 1
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 7: { {eatθ: pastp , foodthe },{manthe , {vbe: θ: pres , {beθ , foodthe }}}} foodthe veat: θ INFLv INFLv: 3sg
WS 8: { { {eatθ: pastp , foodthe },{manthe , {vbe: θ: pres , {beθ , foodthe }}}} ,veat: θ } foodthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 7: { {eatθ: pastp , foodthe },veat: θ } foodthe {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 7: { {manthe , {vbe: θ: pres , {beθ , foodthe }}},veat: θ } foodthe {eatθ: pastp , foodthe } INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 6: manthe {eatθ: pastp , foodthe } {manthe , {vbe: θ: pres , {beθ , foodthe }}} veat: θ INFLv INFLv: 3sg
WS 7: {veat: θ , {eatθ: pastp , foodthe }} manthe {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv INFLv: 3sg
WS 8: {manthe , {veat: θ , {eatθ: pastp , foodthe }}} {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv INFLv: 3sg
WS 9: {manthe , {INFLv , {manthe , {veat: θ , {eatθ: pastp , foodthe }}}}} {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv: 3sg
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 9: {manthe , {INFLv: 3sg , {manthe , {vbe: θ: pres , {beθ , foodthe }}}}} {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 9: { {manthe , {veat: θ , {eatθ: pastp , foodthe }}},{manthe , {vbe: θ: pres , {beθ , foodthe }}}} INFLv INFLv: 3sg
WS 10: {manthe , {INFLv , { {manthe , {veat: θ , {eatθ: pastp , foodthe }}},{manthe , {vbe: θ: pres , {beθ , foodthe }}}} }}
Final WS: {C, {manthe , {INFLv , { {manthe , {veat: θ , {eatθ: pastp , foodthe }}},{manthe , {vbe: θ: pres , {beθ , foodthe }}}} }}}
INT/EXT: {C, {man
the , {INFL
v ,
{ {
man the , {v
eat: θ , {eat
θ: pastp , food
the }}}, {
man the , {v
be: θ: pres , {be
θ , food
the }}}
} }}}
Initial Spellout: the man 3sg eat the food 3sg pres be the food
Spellout: the man eat the food is the food
Error: inconsistent spellout
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 7: {manthe , {INFLv: 3sg , {manthe , {vbe: θ: pres , {beθ , foodthe }}}}} manthe {eatθ: pastp , foodthe } veat: θ INFLv
WS 8: { {eatθ: pastp , foodthe },veat: θ } {manthe , {INFLv: 3sg , {manthe , {vbe: θ: pres , {beθ , foodthe }}}}} manthe INFLv
WS fail: WS θS 0 < θR 1
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 7: { {eatθ: pastp , foodthe },{manthe , {vbe: θ: pres , {beθ , foodthe }}}} manthe veat: θ INFLv INFLv: 3sg
WS 8: { { {eatθ: pastp , foodthe },{manthe , {vbe: θ: pres , {beθ , foodthe }}}} ,veat: θ } manthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 7: { {eatθ: pastp , foodthe },veat: θ } manthe {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 7: { {manthe , {vbe: θ: pres , {beθ , foodthe }}},veat: θ } manthe {eatθ: pastp , foodthe } INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 5: {veat: θ , eatθ: pastp } foodthe {manthe , {vbe: θ: pres , {beθ , foodthe }}} INFLv INFLv: 3sg
WS 1: {beθ , foodthe } eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg manthe
WS 5: {manthe , {INFLv: 3sg , {manthe , {vbe: θ: pres , {beθ , foodthe }}}}} foodthe eatθ: pastp veat: θ INFLv
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 2: {vbe: θ: pres , {beθ , manthe }} foodthe eatθ: pastp veat: θ INFLv INFLv: 3sg
WS 3: {foodthe , {vbe: θ: pres , {beθ , manthe }}} eatθ: pastp veat: θ INFLv INFLv: 3sg
WS 4: foodthe {foodthe , {vbe: θ: pres , {beθ , manthe }}} eatθ: pastp veat: θ INFLv INFLv: 3sg
WS 5: manthe foodthe {foodthe , {vbe: θ: pres , {beθ , manthe }}} eatθ: pastp veat: θ INFLv INFLv: 3sg
WS 6: {eatθ: pastp , manthe } foodthe {foodthe , {vbe: θ: pres , {beθ , manthe }}} veat: θ INFLv INFLv: 3sg
WS 7: {veat: θ , {eatθ: pastp , manthe }} foodthe {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv INFLv: 3sg
WS 8: {foodthe , {veat: θ , {eatθ: pastp , manthe }}} {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv INFLv: 3sg
WS 9: {foodthe , {INFLv , {foodthe , {veat: θ , {eatθ: pastp , manthe }}}}} {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv: 3sg
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 9: {foodthe , {INFLv: 3sg , {foodthe , {vbe: θ: pres , {beθ , manthe }}}}} {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 9: { {foodthe , {veat: θ , {eatθ: pastp , manthe }}},{foodthe , {vbe: θ: pres , {beθ , manthe }}}} INFLv INFLv: 3sg
WS 10: {foodthe , {INFLv , { {foodthe , {veat: θ , {eatθ: pastp , manthe }}},{foodthe , {vbe: θ: pres , {beθ , manthe }}}} }}
Final WS: {C, {foodthe , {INFLv , { {foodthe , {veat: θ , {eatθ: pastp , manthe }}},{foodthe , {vbe: θ: pres , {beθ , manthe }}}} }}}
INT/EXT: {C, {food
the , {INFL
v ,
{ {
food the , {v
eat: θ , {eat
θ: pastp , man
the }}}, {
food the , {v
be: θ: pres , {be
θ , man
the }}}
} }}}
Initial Spellout: the food 3sg eat the man 3sg pres be the man
Spellout: the food eat the man is the man
Error: inconsistent spellout
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 7: { {eatθ: pastp , manthe },{foodthe , {vbe: θ: pres , {beθ , manthe }}}} foodthe veat: θ INFLv INFLv: 3sg
WS 8: { { {eatθ: pastp , manthe },{foodthe , {vbe: θ: pres , {beθ , manthe }}}} ,veat: θ } foodthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 7: { {eatθ: pastp , manthe },veat: θ } foodthe {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 7: { {foodthe , {vbe: θ: pres , {beθ , manthe }}},veat: θ } {eatθ: pastp , manthe } foodthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 6: {eatθ: pastp , foodthe } manthe {foodthe , {vbe: θ: pres , {beθ , manthe }}} veat: θ INFLv INFLv: 3sg
WS 7: {veat: θ , {eatθ: pastp , foodthe }} manthe {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv INFLv: 3sg
WS 8: {manthe , {veat: θ , {eatθ: pastp , foodthe }}} {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv INFLv: 3sg
WS 9: {manthe , {INFLv , {manthe , {veat: θ , {eatθ: pastp , foodthe }}}}} {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv: 3sg
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 9: {foodthe , {INFLv: 3sg , {foodthe , {vbe: θ: pres , {beθ , manthe }}}}} {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 9: { {manthe , {veat: θ , {eatθ: pastp , foodthe }}},{foodthe , {vbe: θ: pres , {beθ , manthe }}}} INFLv INFLv: 3sg
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 7: { {eatθ: pastp , foodthe },{foodthe , {vbe: θ: pres , {beθ , manthe }}}} manthe veat: θ INFLv INFLv: 3sg
WS 8: { { {eatθ: pastp , foodthe },{foodthe , {vbe: θ: pres , {beθ , manthe }}}} ,veat: θ } manthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 7: { {eatθ: pastp , foodthe },veat: θ } manthe {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 7: { {foodthe , {vbe: θ: pres , {beθ , manthe }}},veat: θ } {eatθ: pastp , foodthe } manthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 6: {veat: θ , eatθ: pastp } manthe foodthe {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv INFLv: 3sg
WS fail: WS θS 1 < θR 2
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 6: {foodthe , {INFLv: 3sg , {foodthe , {vbe: θ: pres , {beθ , manthe }}}}} manthe foodthe eatθ: pastp veat: θ INFLv
WS 7: { eatθ: pastp ,veat: θ } {foodthe , {INFLv: 3sg , {foodthe , {vbe: θ: pres , {beθ , manthe }}}}} manthe foodthe INFLv
WS fail: WS θS 0 < θR 2
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 6: { {foodthe , {vbe: θ: pres , {beθ , manthe }}},eatθ: pastp } manthe foodthe veat: θ INFLv INFLv: 3sg
WS fail: WS θS 1 < θR 2
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 6: { eatθ: pastp ,veat: θ } manthe foodthe {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 2
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 5: {eatθ: pastp , foodthe } {foodthe , {vbe: θ: pres , {beθ , manthe }}} veat: θ INFLv INFLv: 3sg
WS 6: foodthe {eatθ: pastp , foodthe } {foodthe , {vbe: θ: pres , {beθ , manthe }}} veat: θ INFLv INFLv: 3sg
WS 7: {veat: θ , {eatθ: pastp , foodthe }} foodthe {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv INFLv: 3sg
WS 8: {foodthe , {veat: θ , {eatθ: pastp , foodthe }}} {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv INFLv: 3sg
WS 9: {foodthe , {INFLv , {foodthe , {veat: θ , {eatθ: pastp , foodthe }}}}} {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv: 3sg
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 9: {foodthe , {INFLv: 3sg , {foodthe , {vbe: θ: pres , {beθ , manthe }}}}} {foodthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 9: { {foodthe , {veat: θ , {eatθ: pastp , foodthe }}},{foodthe , {vbe: θ: pres , {beθ , manthe }}}} INFLv INFLv: 3sg
WS 10: {foodthe , {INFLv , { {foodthe , {veat: θ , {eatθ: pastp , foodthe }}},{foodthe , {vbe: θ: pres , {beθ , manthe }}}} }}
Final WS: {C, {foodthe , {INFLv , { {foodthe , {veat: θ , {eatθ: pastp , foodthe }}},{foodthe , {vbe: θ: pres , {beθ , manthe }}}} }}}
INT/EXT: {C, {food
the , {INFL
v ,
{ {
food the , {v
eat: θ , {eat
θ: pastp , food
the }}}, {
food the , {v
be: θ: pres , {be
θ , man
the }}}
} }}}
Initial Spellout: the food 3sg eat the food 3sg pres be the man
Spellout: the food eat the food is the man
Error: inconsistent spellout
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 7: {foodthe , {INFLv: 3sg , {foodthe , {vbe: θ: pres , {beθ , manthe }}}}} foodthe {eatθ: pastp , foodthe } veat: θ INFLv
WS 8: { {eatθ: pastp , foodthe },veat: θ } {foodthe , {INFLv: 3sg , {foodthe , {vbe: θ: pres , {beθ , manthe }}}}} foodthe INFLv
WS fail: WS θS 0 < θR 1
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 7: { {eatθ: pastp , foodthe },{foodthe , {vbe: θ: pres , {beθ , manthe }}}} foodthe veat: θ INFLv INFLv: 3sg
WS 8: { { {eatθ: pastp , foodthe },{foodthe , {vbe: θ: pres , {beθ , manthe }}}} ,veat: θ } foodthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 7: { {eatθ: pastp , foodthe },veat: θ } foodthe {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 7: { {foodthe , {vbe: θ: pres , {beθ , manthe }}},veat: θ } foodthe {eatθ: pastp , foodthe } INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 6: manthe {eatθ: pastp , foodthe } {foodthe , {vbe: θ: pres , {beθ , manthe }}} veat: θ INFLv INFLv: 3sg
WS 7: {veat: θ , {eatθ: pastp , foodthe }} manthe {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv INFLv: 3sg
WS 8: {manthe , {veat: θ , {eatθ: pastp , foodthe }}} {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv INFLv: 3sg
WS 9: {manthe , {INFLv , {manthe , {veat: θ , {eatθ: pastp , foodthe }}}}} {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv: 3sg
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 9: {foodthe , {INFLv: 3sg , {foodthe , {vbe: θ: pres , {beθ , manthe }}}}} {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 9: { {manthe , {veat: θ , {eatθ: pastp , foodthe }}},{foodthe , {vbe: θ: pres , {beθ , manthe }}}} INFLv INFLv: 3sg
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 7: {foodthe , {INFLv: 3sg , {foodthe , {vbe: θ: pres , {beθ , manthe }}}}} manthe {eatθ: pastp , foodthe } veat: θ INFLv
WS 8: { {eatθ: pastp , foodthe },veat: θ } {foodthe , {INFLv: 3sg , {foodthe , {vbe: θ: pres , {beθ , manthe }}}}} manthe INFLv
WS fail: WS θS 0 < θR 1
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 7: { {eatθ: pastp , foodthe },{foodthe , {vbe: θ: pres , {beθ , manthe }}}} manthe veat: θ INFLv INFLv: 3sg
WS 8: { { {eatθ: pastp , foodthe },{foodthe , {vbe: θ: pres , {beθ , manthe }}}} ,veat: θ } manthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 7: { {eatθ: pastp , foodthe },veat: θ } manthe {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 7: { {foodthe , {vbe: θ: pres , {beθ , manthe }}},veat: θ } manthe {eatθ: pastp , foodthe } INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 5: {veat: θ , eatθ: pastp } foodthe {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv INFLv: 3sg
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 5: {foodthe , {INFLv: 3sg , {foodthe , {vbe: θ: pres , {beθ , manthe }}}}} foodthe eatθ: pastp veat: θ INFLv
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 4: manthe {foodthe , {vbe: θ: pres , {beθ , manthe }}} eatθ: pastp veat: θ INFLv INFLv: 3sg
WS 5: foodthe manthe {foodthe , {vbe: θ: pres , {beθ , manthe }}} eatθ: pastp veat: θ INFLv INFLv: 3sg
WS 6: {eatθ: pastp , foodthe } manthe {foodthe , {vbe: θ: pres , {beθ , manthe }}} veat: θ INFLv INFLv: 3sg
WS 7: {veat: θ , {eatθ: pastp , foodthe }} manthe {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv INFLv: 3sg
WS 8: {manthe , {veat: θ , {eatθ: pastp , foodthe }}} {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv INFLv: 3sg
WS 9: {manthe , {INFLv , {manthe , {veat: θ , {eatθ: pastp , foodthe }}}}} {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv: 3sg
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 9: {foodthe , {INFLv: 3sg , {foodthe , {vbe: θ: pres , {beθ , manthe }}}}} {manthe , {veat: θ , {eatθ: pastp , foodthe }}} INFLv
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 9: { {manthe , {veat: θ , {eatθ: pastp , foodthe }}},{foodthe , {vbe: θ: pres , {beθ , manthe }}}} INFLv INFLv: 3sg
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 7: { {eatθ: pastp , foodthe },{foodthe , {vbe: θ: pres , {beθ , manthe }}}} manthe veat: θ INFLv INFLv: 3sg
WS 8: { { {eatθ: pastp , foodthe },{foodthe , {vbe: θ: pres , {beθ , manthe }}}} ,veat: θ } manthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 7: { {eatθ: pastp , foodthe },veat: θ } manthe {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 7: { {foodthe , {vbe: θ: pres , {beθ , manthe }}},veat: θ } {eatθ: pastp , foodthe } manthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 6: {eatθ: pastp , manthe } foodthe {foodthe , {vbe: θ: pres , {beθ , manthe }}} veat: θ INFLv INFLv: 3sg
WS 7: {veat: θ , {eatθ: pastp , manthe }} foodthe {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv INFLv: 3sg
WS 8: {foodthe , {veat: θ , {eatθ: pastp , manthe }}} {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv INFLv: 3sg
WS 9: {foodthe , {INFLv , {foodthe , {veat: θ , {eatθ: pastp , manthe }}}}} {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv: 3sg
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 9: {foodthe , {INFLv: 3sg , {foodthe , {vbe: θ: pres , {beθ , manthe }}}}} {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 9: { {foodthe , {veat: θ , {eatθ: pastp , manthe }}},{foodthe , {vbe: θ: pres , {beθ , manthe }}}} INFLv INFLv: 3sg
WS 10: {foodthe , {INFLv , { {foodthe , {veat: θ , {eatθ: pastp , manthe }}},{foodthe , {vbe: θ: pres , {beθ , manthe }}}} }}
Final WS: {C, {foodthe , {INFLv , { {foodthe , {veat: θ , {eatθ: pastp , manthe }}},{foodthe , {vbe: θ: pres , {beθ , manthe }}}} }}}
INT/EXT: {C, {food
the , {INFL
v ,
{ {
food the , {v
eat: θ , {eat
θ: pastp , man
the }}}, {
food the , {v
be: θ: pres , {be
θ , man
the }}}
} }}}
Initial Spellout: the food 3sg eat the man 3sg pres be the man
Spellout: the food eat the man is the man
Error: inconsistent spellout
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 7: { {eatθ: pastp , manthe },{foodthe , {vbe: θ: pres , {beθ , manthe }}}} foodthe veat: θ INFLv INFLv: 3sg
WS 8: { { {eatθ: pastp , manthe },{foodthe , {vbe: θ: pres , {beθ , manthe }}}} ,veat: θ } foodthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 7: { {eatθ: pastp , manthe },veat: θ } foodthe {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 7: { {foodthe , {vbe: θ: pres , {beθ , manthe }}},veat: θ } {eatθ: pastp , manthe } foodthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 6: {veat: θ , eatθ: pastp } foodthe manthe {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv INFLv: 3sg
WS fail: WS θS 1 < θR 2
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 6: {foodthe , {INFLv: 3sg , {foodthe , {vbe: θ: pres , {beθ , manthe }}}}} foodthe manthe eatθ: pastp veat: θ INFLv
WS 7: { eatθ: pastp ,veat: θ } {foodthe , {INFLv: 3sg , {foodthe , {vbe: θ: pres , {beθ , manthe }}}}} foodthe manthe INFLv
WS fail: WS θS 0 < θR 2
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 6: { {foodthe , {vbe: θ: pres , {beθ , manthe }}},eatθ: pastp } foodthe manthe veat: θ INFLv INFLv: 3sg
WS fail: WS θS 1 < θR 2
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 6: { eatθ: pastp ,veat: θ } foodthe manthe {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 2
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 5: {eatθ: pastp , manthe } {foodthe , {vbe: θ: pres , {beθ , manthe }}} veat: θ INFLv INFLv: 3sg
WS 6: manthe {eatθ: pastp , manthe } {foodthe , {vbe: θ: pres , {beθ , manthe }}} veat: θ INFLv INFLv: 3sg
WS 7: {veat: θ , {eatθ: pastp , manthe }} manthe {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv INFLv: 3sg
WS 8: {manthe , {veat: θ , {eatθ: pastp , manthe }}} {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv INFLv: 3sg
WS 9: {manthe , {INFLv , {manthe , {veat: θ , {eatθ: pastp , manthe }}}}} {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv: 3sg
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 9: {foodthe , {INFLv: 3sg , {foodthe , {vbe: θ: pres , {beθ , manthe }}}}} {manthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 9: { {manthe , {veat: θ , {eatθ: pastp , manthe }}},{foodthe , {vbe: θ: pres , {beθ , manthe }}}} INFLv INFLv: 3sg
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 7: {foodthe , {INFLv: 3sg , {foodthe , {vbe: θ: pres , {beθ , manthe }}}}} manthe {eatθ: pastp , manthe } veat: θ INFLv
WS 8: { {eatθ: pastp , manthe },veat: θ } {foodthe , {INFLv: 3sg , {foodthe , {vbe: θ: pres , {beθ , manthe }}}}} manthe INFLv
WS fail: WS θS 0 < θR 1
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 7: { {eatθ: pastp , manthe },{foodthe , {vbe: θ: pres , {beθ , manthe }}}} manthe veat: θ INFLv INFLv: 3sg
WS 8: { { {eatθ: pastp , manthe },{foodthe , {vbe: θ: pres , {beθ , manthe }}}} ,veat: θ } manthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 7: { {eatθ: pastp , manthe },veat: θ } manthe {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 7: { {foodthe , {vbe: θ: pres , {beθ , manthe }}},veat: θ } manthe {eatθ: pastp , manthe } INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 6: foodthe {eatθ: pastp , manthe } {foodthe , {vbe: θ: pres , {beθ , manthe }}} veat: θ INFLv INFLv: 3sg
WS 7: {veat: θ , {eatθ: pastp , manthe }} foodthe {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv INFLv: 3sg
WS 8: {foodthe , {veat: θ , {eatθ: pastp , manthe }}} {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv INFLv: 3sg
WS 9: {foodthe , {INFLv , {foodthe , {veat: θ , {eatθ: pastp , manthe }}}}} {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv: 3sg
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 9: {foodthe , {INFLv: 3sg , {foodthe , {vbe: θ: pres , {beθ , manthe }}}}} {foodthe , {veat: θ , {eatθ: pastp , manthe }}} INFLv
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 9: { {foodthe , {veat: θ , {eatθ: pastp , manthe }}},{foodthe , {vbe: θ: pres , {beθ , manthe }}}} INFLv INFLv: 3sg
WS 10: {foodthe , {INFLv , { {foodthe , {veat: θ , {eatθ: pastp , manthe }}},{foodthe , {vbe: θ: pres , {beθ , manthe }}}} }}
Final WS: {C, {foodthe , {INFLv , { {foodthe , {veat: θ , {eatθ: pastp , manthe }}},{foodthe , {vbe: θ: pres , {beθ , manthe }}}} }}}
INT/EXT: {C, {food
the , {INFL
v ,
{ {
food the , {v
eat: θ , {eat
θ: pastp , man
the }}}, {
food the , {v
be: θ: pres , {be
θ , man
the }}}
} }}}
Initial Spellout: the food 3sg eat the man 3sg pres be the man
Spellout: the food eat the man is the man
Error: inconsistent spellout
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 7: {foodthe , {INFLv: 3sg , {foodthe , {vbe: θ: pres , {beθ , manthe }}}}} foodthe {eatθ: pastp , manthe } veat: θ INFLv
WS 8: { {eatθ: pastp , manthe },veat: θ } {foodthe , {INFLv: 3sg , {foodthe , {vbe: θ: pres , {beθ , manthe }}}}} foodthe INFLv
WS fail: WS θS 0 < θR 1
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 7: { {eatθ: pastp , manthe },{foodthe , {vbe: θ: pres , {beθ , manthe }}}} foodthe veat: θ INFLv INFLv: 3sg
WS 8: { { {eatθ: pastp , manthe },{foodthe , {vbe: θ: pres , {beθ , manthe }}}} ,veat: θ } foodthe INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 7: { {eatθ: pastp , manthe },veat: θ } foodthe {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 7: { {foodthe , {vbe: θ: pres , {beθ , manthe }}},veat: θ } foodthe {eatθ: pastp , manthe } INFLv INFLv: 3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 5: {veat: θ , eatθ: pastp } manthe {foodthe , {vbe: θ: pres , {beθ , manthe }}} INFLv INFLv: 3sg
WS 1: {beθ , manthe } foodthe eatθ: pastp veat: θ INFLv vbe: θ: pres INFLv: 3sg
WS 5: {foodthe , {INFLv: 3sg , {foodthe , {vbe: θ: pres , {beθ , manthe }}}}} manthe eatθ: pastp veat: θ INFLv
WS 1: {veat: θ , eatθ: pastp } foodthe INFLv beθ vbe: θ: pres INFLv: 3sg manthe
WS 1: {vbe: θ: pres , beθ } foodthe eatθ: pastp veat: θ INFLv INFLv: 3sg manthe