[Right triangle ⏵ may be expanded, down triangle ⏷ to close. Button = tree pop-up. × = close pop-up.]

Help: blue = parse found inside. Abbreviations: WS: Workspace; SO: Syntactic Object; IA/EA: Internal/External Argument; INT/EXT: interface SO post-Merge/FormCopy; Initial WS: heads that may project after LEX word lookup. ...
×

Words: the man is eaten the food
Initial WS 1: foodthe eatθ:pastp veat:θ INFLv vpred INFLv:3sg manthe
WS 1: {eatθ:pastp, foodthe} veat:θ INFLv vpred INFLv:3sg manthe
WS 2: {veat:θ, {eatθ:pastp, foodthe}} INFLv vpred INFLv:3sg manthe
WS 3: {manthe, {veat:θ, {eatθ:pastp, foodthe}}} INFLv vpred INFLv:3sg
WS 4: {manthe, {INFLv, {manthe, {veat:θ, {eatθ:pastp, foodthe}}}}} vpred INFLv:3sg
WS 1: {eatθ:pastp, foodthe} veat:θ INFLv vpred INFLv:3sg manthe
WS 4: {{manthe, {veat:θ, {eatθ:pastp, foodthe}}},vpred} INFLv INFLv:3sg
WS 1: {eatθ:pastp, foodthe} veat:θ INFLv vpred INFLv:3sg manthe
WS 2: {vpred, {eatθ:pastp, foodthe}} veat:θ INFLv INFLv:3sg manthe
WS 3: {foodthe, {INFLv:3sg, {vpred, {eatθ:pastp, foodthe}}}} veat:θ INFLv manthe
WS 1: {eatθ:pastp, foodthe} veat:θ INFLv vpred INFLv:3sg manthe
WS 3: {{vpred, {eatθ:pastp, foodthe}},veat:θ} INFLv INFLv:3sg manthe
WS fail: WS θS 0 < θR 1
WS 1: {eatθ:pastp, foodthe} veat:θ INFLv vpred INFLv:3sg manthe
WS 2: {{eatθ:pastp, foodthe},veat:θ} INFLv vpred INFLv:3sg manthe
WS fail: WS θS 0 < θR 1
WS 1: {eatθ:pastp, foodthe} veat:θ INFLv vpred INFLv:3sg manthe
WS 2: {{eatθ:pastp, foodthe},vpred} veat:θ INFLv INFLv:3sg manthe
WS 3: {{{eatθ:pastp, foodthe},vpred},veat:θ} INFLv INFLv:3sg manthe
WS fail: WS θS 0 < θR 1
WS 1: {eatθ:pastp, foodthe} veat:θ INFLv vpred INFLv:3sg manthe
WS 2: {veat:θ,vpred} {eatθ:pastp, foodthe} INFLv INFLv:3sg manthe
WS fail: WS θS 0 < θR 1
WS 1: {eatθ:pastp, manthe} foodthe veat:θ INFLv vpred INFLv:3sg
WS 2: {veat:θ, {eatθ:pastp, manthe}} foodthe INFLv vpred INFLv:3sg
WS 3: {foodthe, {veat:θ, {eatθ:pastp, manthe}}} INFLv vpred INFLv:3sg
WS 4: {foodthe, {INFLv, {foodthe, {veat:θ, {eatθ:pastp, manthe}}}}} vpred INFLv:3sg
WS 1: {eatθ:pastp, manthe} foodthe veat:θ INFLv vpred INFLv:3sg
WS 4: {{foodthe, {veat:θ, {eatθ:pastp, manthe}}},vpred} INFLv INFLv:3sg
WS 1: {eatθ:pastp, manthe} foodthe veat:θ INFLv vpred INFLv:3sg
WS 2: {vpred, {eatθ:pastp, manthe}} foodthe veat:θ INFLv INFLv:3sg
WS 3: {manthe, {INFLv:3sg, {vpred, {eatθ:pastp, manthe}}}} foodthe veat:θ INFLv
WS 1: {eatθ:pastp, manthe} foodthe veat:θ INFLv vpred INFLv:3sg
WS 3: {{vpred, {eatθ:pastp, manthe}},veat:θ} foodthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ:pastp, manthe} foodthe veat:θ INFLv vpred INFLv:3sg
WS 2: {{eatθ:pastp, manthe},veat:θ} foodthe INFLv vpred INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ:pastp, manthe} foodthe veat:θ INFLv vpred INFLv:3sg
WS 2: {{eatθ:pastp, manthe},vpred} foodthe veat:θ INFLv INFLv:3sg
WS 3: {{{eatθ:pastp, manthe},vpred},veat:θ} foodthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {eatθ:pastp, manthe} foodthe veat:θ INFLv vpred INFLv:3sg
WS 2: {veat:θ,vpred} {eatθ:pastp, manthe} foodthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {veat:θ, eatθ:pastp} foodthe INFLv vpred INFLv:3sg manthe
WS fail: WS θS 1 < θR 2
WS 1: {vpred, eatθ:pastp} foodthe veat:θ INFLv INFLv:3sg manthe
WS fail: WS θS 1 < θR 2
WS 1: {eatθ:pastp,veat:θ} foodthe INFLv vpred INFLv:3sg manthe
WS fail: WS θS 0 < θR 2
WS 1: {eatθ:pastp,vpred} foodthe veat:θ INFLv INFLv:3sg manthe
WS fail: WS θS 1 < θR 2
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, {manthe, {INFLv:3sg, {{manthe, {vbe:θ:pres, {beθ, foodthe}}}, {manthe, {veat:θ, {eatθ:pastp, foodthe}}}}}}}
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, {manthe, {INFLv:3sg, {{manthe, {vbe:θ:pres, {beθ, manthe}}}, {manthe, {veat:θ, {eatθ:pastp, foodthe}}}}}}}
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, {manthe, {INFLv:3sg, {{manthe, {vbe:θ:pres, {beθ, foodthe}}}, {manthe, {veat:θ, {eatθ:pastp, foodthe}}}}}}}
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, {manthe, {INFLv:3sg, {{manthe, {vbe:θ:pres, {beθ, foodthe}}}, {manthe, {veat:θ, {eatθ:pastp, foodthe}}}}}}}
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, {foodthe, {INFLv:3sg, {{foodthe, {vbe:θ:pres, {beθ, manthe}}}, {foodthe, {veat:θ, {eatθ:pastp, manthe}}}}}}}
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, {foodthe, {INFLv:3sg, {{foodthe, {vbe:θ:pres, {beθ, foodthe}}}, {foodthe, {veat:θ, {eatθ:pastp, manthe}}}}}}}
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, {foodthe, {INFLv:3sg, {{foodthe, {vbe:θ:pres, {beθ, manthe}}}, {foodthe, {veat:θ, {eatθ:pastp, manthe}}}}}}}
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, {foodthe, {INFLv:3sg, {{foodthe, {vbe:θ:pres, {beθ, manthe}}}, {foodthe, {veat:θ, {eatθ:pastp, manthe}}}}}}}
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, {manthe, {INFLv, {{manthe, {veat:θ, {eatθ:pastp, foodthe}}}, {manthe, {vbe:θ:pres, {beθ, foodthe}}}}}}}
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, {manthe, {INFLv, {{manthe, {veat:θ, {eatθ:pastp, manthe}}}, {manthe, {vbe:θ:pres, {beθ, foodthe}}}}}}}
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, {manthe, {INFLv, {{manthe, {veat:θ, {eatθ:pastp, foodthe}}}, {manthe, {vbe:θ:pres, {beθ, foodthe}}}}}}}
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, {manthe, {INFLv, {{manthe, {veat:θ, {eatθ:pastp, foodthe}}}, {manthe, {vbe:θ:pres, {beθ, foodthe}}}}}}}
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, {foodthe, {INFLv, {{foodthe, {veat:θ, {eatθ:pastp, manthe}}}, {foodthe, {vbe:θ:pres, {beθ, manthe}}}}}}}
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, {foodthe, {INFLv, {{foodthe, {veat:θ, {eatθ:pastp, foodthe}}}, {foodthe, {vbe:θ:pres, {beθ, manthe}}}}}}}
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, {foodthe, {INFLv, {{foodthe, {veat:θ, {eatθ:pastp, manthe}}}, {foodthe, {vbe:θ:pres, {beθ, manthe}}}}}}}
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, {foodthe, {INFLv, {{foodthe, {veat:θ, {eatθ:pastp, manthe}}}, {foodthe, {vbe:θ:pres, {beθ, manthe}}}}}}}
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
Initial WS 3: foodthe eatθ:pastp veat INFLv vv:pass:pres manthe
WS fail: WS θS 1 < θR 2