[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 train is arrived
Initial WS 1: arriveθ varrive:pst INFLv vpred INFLv:3sg trainthe
WS 1: {arriveθ, trainthe} varrive:pst INFLv vpred INFLv:3sg
WS 2: {varrive:pst, {arriveθ, trainthe}} INFLv vpred INFLv:3sg
WS 3: {trainthe, {INFLv, {varrive:pst, {arriveθ, trainthe}}}} vpred INFLv:3sg
WS 1: {arriveθ, trainthe} varrive:pst INFLv vpred INFLv:3sg
WS 3: {{varrive:pst, {arriveθ, trainthe}},vpred} INFLv INFLv:3sg
WS 1: {arriveθ, trainthe} varrive:pst INFLv vpred INFLv:3sg
WS 2: {vpred, {arriveθ, trainthe}} varrive:pst INFLv INFLv:3sg
WS 3: {trainthe, {INFLv:3sg, {vpred, {arriveθ, trainthe}}}} varrive:pst INFLv
WS 1: {arriveθ, trainthe} varrive:pst INFLv vpred INFLv:3sg
WS 3: {{vpred, {arriveθ, trainthe}},varrive:pst} INFLv INFLv:3sg
WS 1: {arriveθ, trainthe} varrive:pst INFLv vpred INFLv:3sg
WS 2: {{arriveθ, trainthe},varrive:pst} INFLv vpred INFLv:3sg
WS 3: {{{arriveθ, trainthe},varrive:pst},vpred} INFLv INFLv:3sg
WS 1: {arriveθ, trainthe} varrive:pst INFLv vpred INFLv:3sg
WS 2: {{arriveθ, trainthe},vpred} varrive:pst INFLv INFLv:3sg
WS 3: {{{arriveθ, trainthe},vpred},varrive:pst} INFLv INFLv:3sg
WS 1: {arriveθ, trainthe} varrive:pst INFLv vpred INFLv:3sg
WS 2: {varrive:pst,vpred} {arriveθ, trainthe} INFLv INFLv:3sg
WS 3: {{varrive:pst,vpred},{arriveθ, trainthe}} INFLv INFLv:3sg
WS 1: {varrive:pst, arriveθ} INFLv vpred INFLv:3sg trainthe
WS fail: WS θS 0 < θR 1
WS 1: {vpred, arriveθ} varrive:pst INFLv INFLv:3sg trainthe
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ,varrive:pst} INFLv vpred INFLv:3sg trainthe
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ,vpred} varrive:pst INFLv INFLv:3sg trainthe
WS fail: WS θS 0 < θR 1
Initial WS 2: arriveθ:pastp varrive INFLv vpred INFLv:3sg trainthe
WS 1: {arriveθ:pastp, trainthe} varrive INFLv vpred INFLv:3sg
WS 2: {varrive, {arriveθ:pastp, trainthe}} INFLv vpred INFLv:3sg
WS 3: {trainthe, {INFLv, {varrive, {arriveθ:pastp, trainthe}}}} vpred INFLv:3sg
WS 1: {arriveθ:pastp, trainthe} varrive INFLv vpred INFLv:3sg
WS 3: {{varrive, {arriveθ:pastp, trainthe}},vpred} INFLv INFLv:3sg
WS 1: {arriveθ:pastp, trainthe} varrive INFLv vpred INFLv:3sg
WS 2: {vpred, {arriveθ:pastp, trainthe}} varrive INFLv INFLv:3sg
WS 3: {trainthe, {INFLv:3sg, {vpred, {arriveθ:pastp, trainthe}}}} varrive INFLv
WS 1: {arriveθ:pastp, trainthe} varrive INFLv vpred INFLv:3sg
WS 3: {{vpred, {arriveθ:pastp, trainthe}},varrive} INFLv INFLv:3sg
WS 1: {arriveθ:pastp, trainthe} varrive INFLv vpred INFLv:3sg
WS 2: {{arriveθ:pastp, trainthe},varrive} INFLv vpred INFLv:3sg
WS 3: {{{arriveθ:pastp, trainthe},varrive},vpred} INFLv INFLv:3sg
WS 1: {arriveθ:pastp, trainthe} varrive INFLv vpred INFLv:3sg
WS 2: {{arriveθ:pastp, trainthe},vpred} varrive INFLv INFLv:3sg
WS 3: {{{arriveθ:pastp, trainthe},vpred},varrive} INFLv INFLv:3sg
WS 1: {arriveθ:pastp, trainthe} varrive INFLv vpred INFLv:3sg
WS 2: {varrive,vpred} {arriveθ:pastp, trainthe} INFLv INFLv:3sg
WS 3: {{varrive,vpred},{arriveθ:pastp, trainthe}} INFLv INFLv:3sg
WS 1: {varrive, arriveθ:pastp} INFLv vpred INFLv:3sg trainthe
WS fail: WS θS 0 < θR 1
WS 1: {vpred, arriveθ:pastp} varrive INFLv INFLv:3sg trainthe
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ:pastp,varrive} INFLv vpred INFLv:3sg trainthe
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ:pastp,vpred} varrive INFLv INFLv:3sg trainthe
WS fail: WS θS 0 < θR 1
Initial WS 3: arriveθ varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg trainthe
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 2: trainthe {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 3: {beθ, trainthe} {arriveθ, trainthe} varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 4: trainthe {beθ, trainthe} {arriveθ, trainthe} varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 5: {varrive:pst, {arriveθ, trainthe}} trainthe {beθ, trainthe} INFLv vbe:θ:pres INFLv:3sg
WS 6: {trainthe, {INFLv, {varrive:pst, {arriveθ, trainthe}}}} trainthe {beθ, trainthe} vbe:θ:pres INFLv:3sg
WS 7: {{beθ, trainthe},vbe:θ:pres} {trainthe, {INFLv, {varrive:pst, {arriveθ, trainthe}}}} trainthe INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 6: {vbe:θ:pres, {beθ, trainthe}} {varrive:pst, {arriveθ, trainthe}} trainthe INFLv INFLv:3sg
WS 7: {trainthe, {vbe:θ:pres, {beθ, trainthe}}} {varrive:pst, {arriveθ, trainthe}} INFLv INFLv:3sg
WS 8: {trainthe, {INFLv, {varrive:pst, {arriveθ, trainthe}}}} {trainthe, {vbe:θ:pres, {beθ, trainthe}}} INFLv:3sg
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 8: {trainthe, {INFLv:3sg, {trainthe, {vbe:θ:pres, {beθ, trainthe}}}}} {varrive:pst, {arriveθ, trainthe}} INFLv
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 8: {{trainthe, {vbe:θ:pres, {beθ, trainthe}}},{varrive:pst, {arriveθ, trainthe}}} INFLv INFLv:3sg
WS 9: {trainthe, {INFLv:3sg, {{trainthe, {vbe:θ:pres, {beθ, trainthe}}},{varrive:pst, {arriveθ, trainthe}}}}} 
Final WS: {C, {trainthe, {INFLv:3sg, {{trainthe, {vbe:θ:pres, {beθ, trainthe}}},{varrive:pst, {arriveθ, trainthe}}}}}} 
INT/EXT: {C, {trainthe, {INFLv:3sg, {{trainthe, {vbe:θ:pres, {beθ, trainthe}}}, {varrive:pst, {arriveθ, trainthe}}}}}}
Initial Spellout: the train 3sg pres be the train 3sg pst arrive
Spellout: the train is the train arrived
Error: inconsistent spellout
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 6: {{varrive:pst, {arriveθ, trainthe}},{beθ, trainthe}} trainthe INFLv vbe:θ:pres INFLv:3sg
WS 7: {{{varrive:pst, {arriveθ, trainthe}},{beθ, trainthe}},vbe:θ:pres} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 6: {{varrive:pst, {arriveθ, trainthe}},vbe:θ:pres} trainthe {beθ, trainthe} INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 6: {{beθ, trainthe},vbe:θ:pres} {varrive:pst, {arriveθ, trainthe}} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 5: {vbe:θ:pres, {beθ, trainthe}} trainthe {arriveθ, trainthe} varrive:pst INFLv INFLv:3sg
WS 6: {trainthe, {vbe:θ:pres, {beθ, trainthe}}} {arriveθ, trainthe} varrive:pst INFLv INFLv:3sg
WS 7: {varrive:pst, {arriveθ, trainthe}} {trainthe, {vbe:θ:pres, {beθ, trainthe}}} INFLv INFLv:3sg
WS 8: {trainthe, {INFLv, {varrive:pst, {arriveθ, trainthe}}}} {trainthe, {vbe:θ:pres, {beθ, trainthe}}} INFLv:3sg
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 8: {trainthe, {INFLv:3sg, {trainthe, {vbe:θ:pres, {beθ, trainthe}}}}} {varrive:pst, {arriveθ, trainthe}} INFLv
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 8: {{varrive:pst, {arriveθ, trainthe}},{trainthe, {vbe:θ:pres, {beθ, trainthe}}}} INFLv INFLv:3sg
WS 9: {trainthe, {INFLv, {{varrive:pst, {arriveθ, trainthe}},{trainthe, {vbe:θ:pres, {beθ, trainthe}}}}}} 
Final WS: {C, {trainthe, {INFLv, {{varrive:pst, {arriveθ, trainthe}},{trainthe, {vbe:θ:pres, {beθ, trainthe}}}}}}} 
INT/EXT: {C, {trainthe, {INFLv, {{varrive:pst, {arriveθ, trainthe}}, {trainthe, {vbe:θ:pres, {beθ, trainthe}}}}}}}
Initial Spellout: the train 3sg pst arrive 3sg pres be the train
Spellout: the train arrived is the train
Error: inconsistent spellout
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 7: {trainthe, {INFLv:3sg, {trainthe, {vbe:θ:pres, {beθ, trainthe}}}}} {arriveθ, trainthe} varrive:pst INFLv
WS 8: {{arriveθ, trainthe},varrive:pst} {trainthe, {INFLv:3sg, {trainthe, {vbe:θ:pres, {beθ, trainthe}}}}} INFLv
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 7: {{trainthe, {vbe:θ:pres, {beθ, trainthe}}},{arriveθ, trainthe}} varrive:pst INFLv INFLv:3sg
WS 8: {{{trainthe, {vbe:θ:pres, {beθ, trainthe}}},{arriveθ, trainthe}},varrive:pst} INFLv INFLv:3sg
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 7: {{trainthe, {vbe:θ:pres, {beθ, trainthe}}},varrive:pst} {arriveθ, trainthe} INFLv INFLv:3sg
WS 8: {{{trainthe, {vbe:θ:pres, {beθ, trainthe}}},varrive:pst},{arriveθ, trainthe}} INFLv INFLv:3sg
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 7: {{arriveθ, trainthe},varrive:pst} {trainthe, {vbe:θ:pres, {beθ, trainthe}}} INFLv INFLv:3sg
WS 8: {{{arriveθ, trainthe},varrive:pst},{trainthe, {vbe:θ:pres, {beθ, trainthe}}}} INFLv INFLv:3sg
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 6: {{arriveθ, trainthe},varrive:pst} {vbe:θ:pres, {beθ, trainthe}} trainthe INFLv INFLv:3sg
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 5: {{beθ, trainthe},{arriveθ, trainthe}} trainthe varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 6: {{{beθ, trainthe},{arriveθ, trainthe}},varrive:pst} trainthe INFLv vbe:θ:pres INFLv:3sg
WS 7: {{{{beθ, trainthe},{arriveθ, trainthe}},varrive:pst},vbe:θ:pres} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 6: {{{beθ, trainthe},{arriveθ, trainthe}},vbe:θ:pres} trainthe varrive:pst INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 6: {varrive:pst,vbe:θ:pres}{{beθ, trainthe},{arriveθ, trainthe}} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 5: {{beθ, trainthe},varrive:pst} trainthe {arriveθ, trainthe} INFLv vbe:θ:pres INFLv:3sg
WS 6: {{{beθ, trainthe},varrive:pst},{arriveθ, trainthe}} trainthe INFLv vbe:θ:pres INFLv:3sg
WS 7: {{{{beθ, trainthe},varrive:pst},{arriveθ, trainthe}},vbe:θ:pres} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 6: {{{beθ, trainthe},varrive:pst},vbe:θ:pres} trainthe {arriveθ, trainthe} INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 6: {{arriveθ, trainthe},vbe:θ:pres}{{beθ, trainthe},varrive:pst} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 5: {{beθ, trainthe},vbe:θ:pres} trainthe {arriveθ, trainthe} varrive:pst INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 5: {{arriveθ, trainthe},varrive:pst} trainthe {beθ, trainthe} INFLv vbe:θ:pres INFLv:3sg
WS 6: {{{arriveθ, trainthe},varrive:pst},{beθ, trainthe}} trainthe INFLv vbe:θ:pres INFLv:3sg
WS 7: {{{{arriveθ, trainthe},varrive:pst},{beθ, trainthe}},vbe:θ:pres} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 6: {{{arriveθ, trainthe},varrive:pst},vbe:θ:pres} trainthe {beθ, trainthe} INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 6: {{beθ, trainthe},vbe:θ:pres}{{arriveθ, trainthe},varrive:pst} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 5: {{arriveθ, trainthe},vbe:θ:pres} trainthe {beθ, trainthe} varrive:pst INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 5: {varrive:pst,vbe:θ:pres} trainthe {beθ, trainthe} {arriveθ, trainthe} INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 3: {varrive:pst, {arriveθ, trainthe}} trainthe INFLv beθ vbe:θ:pres INFLv:3sg
WS 4: {beθ, trainthe} {varrive:pst, {arriveθ, trainthe}} INFLv vbe:θ:pres INFLv:3sg
WS 5: trainthe {beθ, trainthe} {varrive:pst, {arriveθ, trainthe}} INFLv vbe:θ:pres INFLv:3sg
WS 6: {trainthe, {INFLv, {varrive:pst, {arriveθ, trainthe}}}} trainthe {beθ, trainthe} vbe:θ:pres INFLv:3sg
WS 7: {{beθ, trainthe},vbe:θ:pres} {trainthe, {INFLv, {varrive:pst, {arriveθ, trainthe}}}} trainthe INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 6: {vbe:θ:pres, {beθ, trainthe}} trainthe {varrive:pst, {arriveθ, trainthe}} INFLv INFLv:3sg
WS 7: {trainthe, {vbe:θ:pres, {beθ, trainthe}}} {varrive:pst, {arriveθ, trainthe}} INFLv INFLv:3sg
WS 8: {trainthe, {INFLv, {varrive:pst, {arriveθ, trainthe}}}} {trainthe, {vbe:θ:pres, {beθ, trainthe}}} INFLv:3sg
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 8: {trainthe, {INFLv:3sg, {trainthe, {vbe:θ:pres, {beθ, trainthe}}}}} {varrive:pst, {arriveθ, trainthe}} INFLv
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 8: {{trainthe, {vbe:θ:pres, {beθ, trainthe}}},{varrive:pst, {arriveθ, trainthe}}} INFLv INFLv:3sg
WS 9: {trainthe, {INFLv:3sg, {{trainthe, {vbe:θ:pres, {beθ, trainthe}}},{varrive:pst, {arriveθ, trainthe}}}}} 
Final WS: {C, {trainthe, {INFLv:3sg, {{trainthe, {vbe:θ:pres, {beθ, trainthe}}},{varrive:pst, {arriveθ, trainthe}}}}}} 
INT/EXT: {C, {trainthe, {INFLv:3sg, {{trainthe, {vbe:θ:pres, {beθ, trainthe}}}, {varrive:pst, {arriveθ, trainthe}}}}}}
Initial Spellout: the train 3sg pres be the train 3sg pst arrive
Spellout: the train is the train arrived
Error: inconsistent spellout
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 6: {{beθ, trainthe},{varrive:pst, {arriveθ, trainthe}}} trainthe INFLv vbe:θ:pres INFLv:3sg
WS 7: {{{beθ, trainthe},{varrive:pst, {arriveθ, trainthe}}},vbe:θ:pres} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 6: {{beθ, trainthe},vbe:θ:pres} trainthe {varrive:pst, {arriveθ, trainthe}} INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 6: {{varrive:pst, {arriveθ, trainthe}},vbe:θ:pres} trainthe {beθ, trainthe} INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 4: {trainthe, {INFLv, {varrive:pst, {arriveθ, trainthe}}}} trainthe beθ vbe:θ:pres INFLv:3sg
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 4: {vbe:θ:pres, beθ} {varrive:pst, {arriveθ, trainthe}} trainthe INFLv INFLv:3sg
WS 1: {arriveθ, trainthe} varrive:pst INFLv beθ vbe:θ:pres INFLv:3sg
WS 3: {vbe:θ:pres, beθ} trainthe {arriveθ, trainthe} varrive:pst INFLv INFLv:3sg
WS 4: {{arriveθ, trainthe},varrive:pst} {vbe:θ:pres, beθ} trainthe INFLv INFLv:3sg
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 2: trainthe {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 3: {arriveθ, trainthe} {beθ, trainthe} varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 4: trainthe {arriveθ, trainthe} {beθ, trainthe} varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 5: {varrive:pst, {arriveθ, trainthe}} trainthe {beθ, trainthe} INFLv vbe:θ:pres INFLv:3sg
WS 6: {trainthe, {INFLv, {varrive:pst, {arriveθ, trainthe}}}} trainthe {beθ, trainthe} vbe:θ:pres INFLv:3sg
WS 7: {{beθ, trainthe},vbe:θ:pres} {trainthe, {INFLv, {varrive:pst, {arriveθ, trainthe}}}} trainthe INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 6: {vbe:θ:pres, {beθ, trainthe}} {varrive:pst, {arriveθ, trainthe}} trainthe INFLv INFLv:3sg
WS 7: {trainthe, {vbe:θ:pres, {beθ, trainthe}}} {varrive:pst, {arriveθ, trainthe}} INFLv INFLv:3sg
WS 8: {trainthe, {INFLv, {varrive:pst, {arriveθ, trainthe}}}} {trainthe, {vbe:θ:pres, {beθ, trainthe}}} INFLv:3sg
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 8: {trainthe, {INFLv:3sg, {trainthe, {vbe:θ:pres, {beθ, trainthe}}}}} {varrive:pst, {arriveθ, trainthe}} INFLv
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 8: {{trainthe, {vbe:θ:pres, {beθ, trainthe}}},{varrive:pst, {arriveθ, trainthe}}} INFLv INFLv:3sg
WS 9: {trainthe, {INFLv:3sg, {{trainthe, {vbe:θ:pres, {beθ, trainthe}}},{varrive:pst, {arriveθ, trainthe}}}}} 
Final WS: {C, {trainthe, {INFLv:3sg, {{trainthe, {vbe:θ:pres, {beθ, trainthe}}},{varrive:pst, {arriveθ, trainthe}}}}}} 
INT/EXT: {C, {trainthe, {INFLv:3sg, {{trainthe, {vbe:θ:pres, {beθ, trainthe}}}, {varrive:pst, {arriveθ, trainthe}}}}}}
Initial Spellout: the train 3sg pres be the train 3sg pst arrive
Spellout: the train is the train arrived
Error: inconsistent spellout
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 6: {{varrive:pst, {arriveθ, trainthe}},{beθ, trainthe}} trainthe INFLv vbe:θ:pres INFLv:3sg
WS 7: {{{varrive:pst, {arriveθ, trainthe}},{beθ, trainthe}},vbe:θ:pres} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 6: {{varrive:pst, {arriveθ, trainthe}},vbe:θ:pres} trainthe {beθ, trainthe} INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 6: {{beθ, trainthe},vbe:θ:pres} {varrive:pst, {arriveθ, trainthe}} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 5: {vbe:θ:pres, {beθ, trainthe}} trainthe {arriveθ, trainthe} varrive:pst INFLv INFLv:3sg
WS 6: {trainthe, {vbe:θ:pres, {beθ, trainthe}}} {arriveθ, trainthe} varrive:pst INFLv INFLv:3sg
WS 7: {varrive:pst, {arriveθ, trainthe}} {trainthe, {vbe:θ:pres, {beθ, trainthe}}} INFLv INFLv:3sg
WS 8: {trainthe, {INFLv, {varrive:pst, {arriveθ, trainthe}}}} {trainthe, {vbe:θ:pres, {beθ, trainthe}}} INFLv:3sg
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 8: {trainthe, {INFLv:3sg, {trainthe, {vbe:θ:pres, {beθ, trainthe}}}}} {varrive:pst, {arriveθ, trainthe}} INFLv
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 8: {{varrive:pst, {arriveθ, trainthe}},{trainthe, {vbe:θ:pres, {beθ, trainthe}}}} INFLv INFLv:3sg
WS 9: {trainthe, {INFLv, {{varrive:pst, {arriveθ, trainthe}},{trainthe, {vbe:θ:pres, {beθ, trainthe}}}}}} 
Final WS: {C, {trainthe, {INFLv, {{varrive:pst, {arriveθ, trainthe}},{trainthe, {vbe:θ:pres, {beθ, trainthe}}}}}}} 
INT/EXT: {C, {trainthe, {INFLv, {{varrive:pst, {arriveθ, trainthe}}, {trainthe, {vbe:θ:pres, {beθ, trainthe}}}}}}}
Initial Spellout: the train 3sg pst arrive 3sg pres be the train
Spellout: the train arrived is the train
Error: inconsistent spellout
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 7: {trainthe, {INFLv:3sg, {trainthe, {vbe:θ:pres, {beθ, trainthe}}}}} {arriveθ, trainthe} varrive:pst INFLv
WS 8: {{arriveθ, trainthe},varrive:pst} {trainthe, {INFLv:3sg, {trainthe, {vbe:θ:pres, {beθ, trainthe}}}}} INFLv
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 7: {{trainthe, {vbe:θ:pres, {beθ, trainthe}}},{arriveθ, trainthe}} varrive:pst INFLv INFLv:3sg
WS 8: {{{trainthe, {vbe:θ:pres, {beθ, trainthe}}},{arriveθ, trainthe}},varrive:pst} INFLv INFLv:3sg
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 7: {{trainthe, {vbe:θ:pres, {beθ, trainthe}}},varrive:pst} {arriveθ, trainthe} INFLv INFLv:3sg
WS 8: {{{trainthe, {vbe:θ:pres, {beθ, trainthe}}},varrive:pst},{arriveθ, trainthe}} INFLv INFLv:3sg
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 7: {{arriveθ, trainthe},varrive:pst} {trainthe, {vbe:θ:pres, {beθ, trainthe}}} INFLv INFLv:3sg
WS 8: {{{arriveθ, trainthe},varrive:pst},{trainthe, {vbe:θ:pres, {beθ, trainthe}}}} INFLv INFLv:3sg
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 6: {{arriveθ, trainthe},varrive:pst} {vbe:θ:pres, {beθ, trainthe}} trainthe INFLv INFLv:3sg
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 5: {{arriveθ, trainthe},{beθ, trainthe}} trainthe varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 6: {{{arriveθ, trainthe},{beθ, trainthe}},varrive:pst} trainthe INFLv vbe:θ:pres INFLv:3sg
WS 7: {{{{arriveθ, trainthe},{beθ, trainthe}},varrive:pst},vbe:θ:pres} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 6: {{{arriveθ, trainthe},{beθ, trainthe}},vbe:θ:pres} trainthe varrive:pst INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 6: {varrive:pst,vbe:θ:pres}{{arriveθ, trainthe},{beθ, trainthe}} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 5: {{arriveθ, trainthe},varrive:pst} trainthe {beθ, trainthe} INFLv vbe:θ:pres INFLv:3sg
WS 6: {{{arriveθ, trainthe},varrive:pst},{beθ, trainthe}} trainthe INFLv vbe:θ:pres INFLv:3sg
WS 7: {{{{arriveθ, trainthe},varrive:pst},{beθ, trainthe}},vbe:θ:pres} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 6: {{{arriveθ, trainthe},varrive:pst},vbe:θ:pres} trainthe {beθ, trainthe} INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 6: {{beθ, trainthe},vbe:θ:pres}{{arriveθ, trainthe},varrive:pst} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 5: {{arriveθ, trainthe},vbe:θ:pres} trainthe {beθ, trainthe} varrive:pst INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 5: {{beθ, trainthe},varrive:pst} trainthe {arriveθ, trainthe} INFLv vbe:θ:pres INFLv:3sg
WS 6: {{{beθ, trainthe},varrive:pst},{arriveθ, trainthe}} trainthe INFLv vbe:θ:pres INFLv:3sg
WS 7: {{{{beθ, trainthe},varrive:pst},{arriveθ, trainthe}},vbe:θ:pres} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 6: {{{beθ, trainthe},varrive:pst},vbe:θ:pres} trainthe {arriveθ, trainthe} INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 6: {{arriveθ, trainthe},vbe:θ:pres}{{beθ, trainthe},varrive:pst} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 5: {{beθ, trainthe},vbe:θ:pres} trainthe {arriveθ, trainthe} varrive:pst INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 5: {varrive:pst,vbe:θ:pres} trainthe {arriveθ, trainthe} {beθ, trainthe} INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 3: {varrive:pst, arriveθ} trainthe {beθ, trainthe} INFLv vbe:θ:pres INFLv:3sg
WS 4: {vbe:θ:pres, {beθ, trainthe}} {varrive:pst, arriveθ} trainthe INFLv INFLv:3sg
WS 5: {trainthe, {vbe:θ:pres, {beθ, trainthe}}} {varrive:pst, arriveθ} INFLv INFLv:3sg
WS 6: {trainthe, {INFLv:3sg, {trainthe, {vbe:θ:pres, {beθ, trainthe}}}}} {varrive:pst, arriveθ} INFLv
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 6: {{trainthe, {vbe:θ:pres, {beθ, trainthe}}},{varrive:pst, arriveθ}} INFLv INFLv:3sg
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 4: {{varrive:pst, arriveθ},{beθ, trainthe}} trainthe INFLv vbe:θ:pres INFLv:3sg
WS 5: {{{varrive:pst, arriveθ},{beθ, trainthe}},vbe:θ:pres} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 4: {{varrive:pst, arriveθ},vbe:θ:pres} trainthe {beθ, trainthe} INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 4: {{beθ, trainthe},vbe:θ:pres} {varrive:pst, arriveθ} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 3: {vbe:θ:pres, {beθ, trainthe}} trainthe arriveθ varrive:pst INFLv INFLv:3sg
WS 4: {trainthe, {vbe:θ:pres, {beθ, trainthe}}} arriveθ varrive:pst INFLv INFLv:3sg
WS 5: trainthe {trainthe, {vbe:θ:pres, {beθ, trainthe}}} arriveθ varrive:pst INFLv INFLv:3sg
WS 6: {arriveθ, trainthe} {trainthe, {vbe:θ:pres, {beθ, trainthe}}} varrive:pst INFLv INFLv:3sg
WS 7: {varrive:pst, {arriveθ, trainthe}} {trainthe, {vbe:θ:pres, {beθ, trainthe}}} INFLv INFLv:3sg
WS 8: {trainthe, {INFLv, {varrive:pst, {arriveθ, trainthe}}}} {trainthe, {vbe:θ:pres, {beθ, trainthe}}} INFLv:3sg
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 8: {trainthe, {INFLv:3sg, {trainthe, {vbe:θ:pres, {beθ, trainthe}}}}} {varrive:pst, {arriveθ, trainthe}} INFLv
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 8: {{varrive:pst, {arriveθ, trainthe}},{trainthe, {vbe:θ:pres, {beθ, trainthe}}}} INFLv INFLv:3sg
WS 9: {trainthe, {INFLv, {{varrive:pst, {arriveθ, trainthe}},{trainthe, {vbe:θ:pres, {beθ, trainthe}}}}}} 
Final WS: {C, {trainthe, {INFLv, {{varrive:pst, {arriveθ, trainthe}},{trainthe, {vbe:θ:pres, {beθ, trainthe}}}}}}} 
INT/EXT: {C, {trainthe, {INFLv, {{varrive:pst, {arriveθ, trainthe}}, {trainthe, {vbe:θ:pres, {beθ, trainthe}}}}}}}
Initial Spellout: the train 3sg pst arrive 3sg pres be the train
Spellout: the train arrived is the train
Error: inconsistent spellout
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 7: {{arriveθ, trainthe},{trainthe, {vbe:θ:pres, {beθ, trainthe}}}} varrive:pst INFLv INFLv:3sg
WS 8: {{{arriveθ, trainthe},{trainthe, {vbe:θ:pres, {beθ, trainthe}}}},varrive:pst} INFLv INFLv:3sg
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 7: {{arriveθ, trainthe},varrive:pst} {trainthe, {vbe:θ:pres, {beθ, trainthe}}} INFLv INFLv:3sg
WS 8: {{{arriveθ, trainthe},varrive:pst},{trainthe, {vbe:θ:pres, {beθ, trainthe}}}} INFLv INFLv:3sg
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 7: {{trainthe, {vbe:θ:pres, {beθ, trainthe}}},varrive:pst} {arriveθ, trainthe} INFLv INFLv:3sg
WS 8: {{{trainthe, {vbe:θ:pres, {beθ, trainthe}}},varrive:pst},{arriveθ, trainthe}} INFLv INFLv:3sg
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 6: {varrive:pst, arriveθ} trainthe {trainthe, {vbe:θ:pres, {beθ, trainthe}}} INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 6: {trainthe, {INFLv:3sg, {trainthe, {vbe:θ:pres, {beθ, trainthe}}}}} trainthe arriveθ varrive:pst INFLv
WS 7: {arriveθ,varrive:pst} {trainthe, {INFLv:3sg, {trainthe, {vbe:θ:pres, {beθ, trainthe}}}}} trainthe INFLv
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 6: {{trainthe, {vbe:θ:pres, {beθ, trainthe}}},arriveθ} trainthe varrive:pst INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ varrive:pst INFLv vbe:θ:pres INFLv:3sg
WS 6: {arriveθ,varrive:pst} trainthe {trainthe, {vbe:θ:pres, {beθ, trainthe}}} INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {varrive:pst, arriveθ} INFLv beθ vbe:θ:pres INFLv:3sg trainthe
WS 2: {beθ, trainthe} {varrive:pst, arriveθ} INFLv vbe:θ:pres INFLv:3sg
WS 3: trainthe {beθ, trainthe} {varrive:pst, arriveθ} INFLv vbe:θ:pres INFLv:3sg
WS 4: {vbe:θ:pres, {beθ, trainthe}} trainthe {varrive:pst, arriveθ} INFLv INFLv:3sg
WS 5: {trainthe, {vbe:θ:pres, {beθ, trainthe}}} {varrive:pst, arriveθ} INFLv INFLv:3sg
WS 6: {trainthe, {INFLv:3sg, {trainthe, {vbe:θ:pres, {beθ, trainthe}}}}} {varrive:pst, arriveθ} INFLv
WS 1: {varrive:pst, arriveθ} INFLv beθ vbe:θ:pres INFLv:3sg trainthe
WS 6: {{trainthe, {vbe:θ:pres, {beθ, trainthe}}},{varrive:pst, arriveθ}} INFLv INFLv:3sg
WS 1: {varrive:pst, arriveθ} INFLv beθ vbe:θ:pres INFLv:3sg trainthe
WS 4: {{beθ, trainthe},{varrive:pst, arriveθ}} trainthe INFLv vbe:θ:pres INFLv:3sg
WS 5: {{{beθ, trainthe},{varrive:pst, arriveθ}},vbe:θ:pres} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {varrive:pst, arriveθ} INFLv beθ vbe:θ:pres INFLv:3sg trainthe
WS 4: {{beθ, trainthe},vbe:θ:pres} trainthe {varrive:pst, arriveθ} INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {varrive:pst, arriveθ} INFLv beθ vbe:θ:pres INFLv:3sg trainthe
WS 4: {{varrive:pst, arriveθ},vbe:θ:pres} trainthe {beθ, trainthe} INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {varrive:pst, arriveθ} INFLv beθ vbe:θ:pres INFLv:3sg trainthe
WS 2: {vbe:θ:pres, beθ} {varrive:pst, arriveθ} INFLv INFLv:3sg trainthe
WS 1: {vbe:θ:pres, beθ} arriveθ varrive:pst INFLv INFLv:3sg trainthe
Initial WS 4: arriveθ:pastp varrive INFLv beθ vbe:θ:pres INFLv:3sg trainthe
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 2: trainthe {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 3: {beθ, trainthe} {arriveθ:pastp, trainthe} varrive INFLv vbe:θ:pres INFLv:3sg
WS 4: trainthe {beθ, trainthe} {arriveθ:pastp, trainthe} varrive INFLv vbe:θ:pres INFLv:3sg
WS 5: {varrive, {arriveθ:pastp, trainthe}} trainthe {beθ, trainthe} INFLv vbe:θ:pres INFLv:3sg
WS 6: {trainthe, {INFLv, {varrive, {arriveθ:pastp, trainthe}}}} trainthe {beθ, trainthe} vbe:θ:pres INFLv:3sg
WS 7: {{beθ, trainthe},vbe:θ:pres} {trainthe, {INFLv, {varrive, {arriveθ:pastp, trainthe}}}} trainthe INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 6: {vbe:θ:pres, {beθ, trainthe}} {varrive, {arriveθ:pastp, trainthe}} trainthe INFLv INFLv:3sg
WS 7: {trainthe, {vbe:θ:pres, {beθ, trainthe}}} {varrive, {arriveθ:pastp, trainthe}} INFLv INFLv:3sg
WS 8: {trainthe, {INFLv, {varrive, {arriveθ:pastp, trainthe}}}} {trainthe, {vbe:θ:pres, {beθ, trainthe}}} INFLv:3sg
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 8: {trainthe, {INFLv:3sg, {trainthe, {vbe:θ:pres, {beθ, trainthe}}}}} {varrive, {arriveθ:pastp, trainthe}} INFLv
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 8: {{trainthe, {vbe:θ:pres, {beθ, trainthe}}},{varrive, {arriveθ:pastp, trainthe}}} INFLv INFLv:3sg
WS 9: {trainthe, {INFLv:3sg, {{trainthe, {vbe:θ:pres, {beθ, trainthe}}},{varrive, {arriveθ:pastp, trainthe}}}}} 
Final WS: {C, {trainthe, {INFLv:3sg, {{trainthe, {vbe:θ:pres, {beθ, trainthe}}},{varrive, {arriveθ:pastp, trainthe}}}}}} 
INT/EXT: {C, {trainthe, {INFLv:3sg, {{trainthe, {vbe:θ:pres, {beθ, trainthe}}}, {varrive, {arriveθ:pastp, trainthe}}}}}}
Initial Spellout: the train 3sg pres be the train 3sg arrive
Spellout: the train is the train arrive
Error: inconsistent spellout
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 6: {{varrive, {arriveθ:pastp, trainthe}},{beθ, trainthe}} trainthe INFLv vbe:θ:pres INFLv:3sg
WS 7: {{{varrive, {arriveθ:pastp, trainthe}},{beθ, trainthe}},vbe:θ:pres} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 6: {{varrive, {arriveθ:pastp, trainthe}},vbe:θ:pres} trainthe {beθ, trainthe} INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 6: {{beθ, trainthe},vbe:θ:pres} {varrive, {arriveθ:pastp, trainthe}} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 5: {vbe:θ:pres, {beθ, trainthe}} trainthe {arriveθ:pastp, trainthe} varrive INFLv INFLv:3sg
WS 6: {trainthe, {vbe:θ:pres, {beθ, trainthe}}} {arriveθ:pastp, trainthe} varrive INFLv INFLv:3sg
WS 7: {varrive, {arriveθ:pastp, trainthe}} {trainthe, {vbe:θ:pres, {beθ, trainthe}}} INFLv INFLv:3sg
WS 8: {trainthe, {INFLv, {varrive, {arriveθ:pastp, trainthe}}}} {trainthe, {vbe:θ:pres, {beθ, trainthe}}} INFLv:3sg
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 8: {trainthe, {INFLv:3sg, {trainthe, {vbe:θ:pres, {beθ, trainthe}}}}} {varrive, {arriveθ:pastp, trainthe}} INFLv
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 8: {{varrive, {arriveθ:pastp, trainthe}},{trainthe, {vbe:θ:pres, {beθ, trainthe}}}} INFLv INFLv:3sg
WS 9: {trainthe, {INFLv, {{varrive, {arriveθ:pastp, trainthe}},{trainthe, {vbe:θ:pres, {beθ, trainthe}}}}}} 
Final WS: {C, {trainthe, {INFLv, {{varrive, {arriveθ:pastp, trainthe}},{trainthe, {vbe:θ:pres, {beθ, trainthe}}}}}}} 
INT/EXT: {C, {trainthe, {INFLv, {{varrive, {arriveθ:pastp, trainthe}}, {trainthe, {vbe:θ:pres, {beθ, trainthe}}}}}}}
Initial Spellout: the train 3sg arrive 3sg pres be the train
Spellout: the train arrive is the train
Error: inconsistent spellout
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 7: {trainthe, {INFLv:3sg, {trainthe, {vbe:θ:pres, {beθ, trainthe}}}}} {arriveθ:pastp, trainthe} varrive INFLv
WS 8: {{arriveθ:pastp, trainthe},varrive} {trainthe, {INFLv:3sg, {trainthe, {vbe:θ:pres, {beθ, trainthe}}}}} INFLv
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 7: {{trainthe, {vbe:θ:pres, {beθ, trainthe}}},{arriveθ:pastp, trainthe}} varrive INFLv INFLv:3sg
WS 8: {{{trainthe, {vbe:θ:pres, {beθ, trainthe}}},{arriveθ:pastp, trainthe}},varrive} INFLv INFLv:3sg
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 7: {{trainthe, {vbe:θ:pres, {beθ, trainthe}}},varrive} {arriveθ:pastp, trainthe} INFLv INFLv:3sg
WS 8: {{{trainthe, {vbe:θ:pres, {beθ, trainthe}}},varrive},{arriveθ:pastp, trainthe}} INFLv INFLv:3sg
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 7: {{arriveθ:pastp, trainthe},varrive} {trainthe, {vbe:θ:pres, {beθ, trainthe}}} INFLv INFLv:3sg
WS 8: {{{arriveθ:pastp, trainthe},varrive},{trainthe, {vbe:θ:pres, {beθ, trainthe}}}} INFLv INFLv:3sg
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 6: {{arriveθ:pastp, trainthe},varrive} {vbe:θ:pres, {beθ, trainthe}} trainthe INFLv INFLv:3sg
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 5: {{beθ, trainthe},{arriveθ:pastp, trainthe}} trainthe varrive INFLv vbe:θ:pres INFLv:3sg
WS 6: {{{beθ, trainthe},{arriveθ:pastp, trainthe}},varrive} trainthe INFLv vbe:θ:pres INFLv:3sg
WS 7: {{{{beθ, trainthe},{arriveθ:pastp, trainthe}},varrive},vbe:θ:pres} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 6: {{{beθ, trainthe},{arriveθ:pastp, trainthe}},vbe:θ:pres} trainthe varrive INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 6: {varrive,vbe:θ:pres}{{beθ, trainthe},{arriveθ:pastp, trainthe}} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 5: {{beθ, trainthe},varrive} trainthe {arriveθ:pastp, trainthe} INFLv vbe:θ:pres INFLv:3sg
WS 6: {{{beθ, trainthe},varrive},{arriveθ:pastp, trainthe}} trainthe INFLv vbe:θ:pres INFLv:3sg
WS 7: {{{{beθ, trainthe},varrive},{arriveθ:pastp, trainthe}},vbe:θ:pres} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 6: {{{beθ, trainthe},varrive},vbe:θ:pres} trainthe {arriveθ:pastp, trainthe} INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 6: {{arriveθ:pastp, trainthe},vbe:θ:pres}{{beθ, trainthe},varrive} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 5: {{beθ, trainthe},vbe:θ:pres} trainthe {arriveθ:pastp, trainthe} varrive INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 5: {{arriveθ:pastp, trainthe},varrive} trainthe {beθ, trainthe} INFLv vbe:θ:pres INFLv:3sg
WS 6: {{{arriveθ:pastp, trainthe},varrive},{beθ, trainthe}} trainthe INFLv vbe:θ:pres INFLv:3sg
WS 7: {{{{arriveθ:pastp, trainthe},varrive},{beθ, trainthe}},vbe:θ:pres} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 6: {{{arriveθ:pastp, trainthe},varrive},vbe:θ:pres} trainthe {beθ, trainthe} INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 6: {{beθ, trainthe},vbe:θ:pres}{{arriveθ:pastp, trainthe},varrive} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 5: {{arriveθ:pastp, trainthe},vbe:θ:pres} trainthe {beθ, trainthe} varrive INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 5: {varrive,vbe:θ:pres} trainthe {beθ, trainthe} {arriveθ:pastp, trainthe} INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 3: {varrive, {arriveθ:pastp, trainthe}} trainthe INFLv beθ vbe:θ:pres INFLv:3sg
WS 4: {beθ, trainthe} {varrive, {arriveθ:pastp, trainthe}} INFLv vbe:θ:pres INFLv:3sg
WS 5: trainthe {beθ, trainthe} {varrive, {arriveθ:pastp, trainthe}} INFLv vbe:θ:pres INFLv:3sg
WS 6: {trainthe, {INFLv, {varrive, {arriveθ:pastp, trainthe}}}} trainthe {beθ, trainthe} vbe:θ:pres INFLv:3sg
WS 7: {{beθ, trainthe},vbe:θ:pres} {trainthe, {INFLv, {varrive, {arriveθ:pastp, trainthe}}}} trainthe INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 6: {vbe:θ:pres, {beθ, trainthe}} trainthe {varrive, {arriveθ:pastp, trainthe}} INFLv INFLv:3sg
WS 7: {trainthe, {vbe:θ:pres, {beθ, trainthe}}} {varrive, {arriveθ:pastp, trainthe}} INFLv INFLv:3sg
WS 8: {trainthe, {INFLv, {varrive, {arriveθ:pastp, trainthe}}}} {trainthe, {vbe:θ:pres, {beθ, trainthe}}} INFLv:3sg
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 8: {trainthe, {INFLv:3sg, {trainthe, {vbe:θ:pres, {beθ, trainthe}}}}} {varrive, {arriveθ:pastp, trainthe}} INFLv
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 8: {{trainthe, {vbe:θ:pres, {beθ, trainthe}}},{varrive, {arriveθ:pastp, trainthe}}} INFLv INFLv:3sg
WS 9: {trainthe, {INFLv:3sg, {{trainthe, {vbe:θ:pres, {beθ, trainthe}}},{varrive, {arriveθ:pastp, trainthe}}}}} 
Final WS: {C, {trainthe, {INFLv:3sg, {{trainthe, {vbe:θ:pres, {beθ, trainthe}}},{varrive, {arriveθ:pastp, trainthe}}}}}} 
INT/EXT: {C, {trainthe, {INFLv:3sg, {{trainthe, {vbe:θ:pres, {beθ, trainthe}}}, {varrive, {arriveθ:pastp, trainthe}}}}}}
Initial Spellout: the train 3sg pres be the train 3sg arrive
Spellout: the train is the train arrive
Error: inconsistent spellout
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 6: {{beθ, trainthe},{varrive, {arriveθ:pastp, trainthe}}} trainthe INFLv vbe:θ:pres INFLv:3sg
WS 7: {{{beθ, trainthe},{varrive, {arriveθ:pastp, trainthe}}},vbe:θ:pres} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 6: {{beθ, trainthe},vbe:θ:pres} trainthe {varrive, {arriveθ:pastp, trainthe}} INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 6: {{varrive, {arriveθ:pastp, trainthe}},vbe:θ:pres} trainthe {beθ, trainthe} INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 4: {trainthe, {INFLv, {varrive, {arriveθ:pastp, trainthe}}}} trainthe beθ vbe:θ:pres INFLv:3sg
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 4: {vbe:θ:pres, beθ} {varrive, {arriveθ:pastp, trainthe}} trainthe INFLv INFLv:3sg
WS 1: {arriveθ:pastp, trainthe} varrive INFLv beθ vbe:θ:pres INFLv:3sg
WS 3: {vbe:θ:pres, beθ} trainthe {arriveθ:pastp, trainthe} varrive INFLv INFLv:3sg
WS 4: {{arriveθ:pastp, trainthe},varrive} {vbe:θ:pres, beθ} trainthe INFLv INFLv:3sg
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 2: trainthe {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 3: {arriveθ:pastp, trainthe} {beθ, trainthe} varrive INFLv vbe:θ:pres INFLv:3sg
WS 4: trainthe {arriveθ:pastp, trainthe} {beθ, trainthe} varrive INFLv vbe:θ:pres INFLv:3sg
WS 5: {varrive, {arriveθ:pastp, trainthe}} trainthe {beθ, trainthe} INFLv vbe:θ:pres INFLv:3sg
WS 6: {trainthe, {INFLv, {varrive, {arriveθ:pastp, trainthe}}}} trainthe {beθ, trainthe} vbe:θ:pres INFLv:3sg
WS 7: {{beθ, trainthe},vbe:θ:pres} {trainthe, {INFLv, {varrive, {arriveθ:pastp, trainthe}}}} trainthe INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 6: {vbe:θ:pres, {beθ, trainthe}} {varrive, {arriveθ:pastp, trainthe}} trainthe INFLv INFLv:3sg
WS 7: {trainthe, {vbe:θ:pres, {beθ, trainthe}}} {varrive, {arriveθ:pastp, trainthe}} INFLv INFLv:3sg
WS 8: {trainthe, {INFLv, {varrive, {arriveθ:pastp, trainthe}}}} {trainthe, {vbe:θ:pres, {beθ, trainthe}}} INFLv:3sg
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 8: {trainthe, {INFLv:3sg, {trainthe, {vbe:θ:pres, {beθ, trainthe}}}}} {varrive, {arriveθ:pastp, trainthe}} INFLv
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 8: {{trainthe, {vbe:θ:pres, {beθ, trainthe}}},{varrive, {arriveθ:pastp, trainthe}}} INFLv INFLv:3sg
WS 9: {trainthe, {INFLv:3sg, {{trainthe, {vbe:θ:pres, {beθ, trainthe}}},{varrive, {arriveθ:pastp, trainthe}}}}} 
Final WS: {C, {trainthe, {INFLv:3sg, {{trainthe, {vbe:θ:pres, {beθ, trainthe}}},{varrive, {arriveθ:pastp, trainthe}}}}}} 
INT/EXT: {C, {trainthe, {INFLv:3sg, {{trainthe, {vbe:θ:pres, {beθ, trainthe}}}, {varrive, {arriveθ:pastp, trainthe}}}}}}
Initial Spellout: the train 3sg pres be the train 3sg arrive
Spellout: the train is the train arrive
Error: inconsistent spellout
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 6: {{varrive, {arriveθ:pastp, trainthe}},{beθ, trainthe}} trainthe INFLv vbe:θ:pres INFLv:3sg
WS 7: {{{varrive, {arriveθ:pastp, trainthe}},{beθ, trainthe}},vbe:θ:pres} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 6: {{varrive, {arriveθ:pastp, trainthe}},vbe:θ:pres} trainthe {beθ, trainthe} INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 6: {{beθ, trainthe},vbe:θ:pres} {varrive, {arriveθ:pastp, trainthe}} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 5: {vbe:θ:pres, {beθ, trainthe}} trainthe {arriveθ:pastp, trainthe} varrive INFLv INFLv:3sg
WS 6: {trainthe, {vbe:θ:pres, {beθ, trainthe}}} {arriveθ:pastp, trainthe} varrive INFLv INFLv:3sg
WS 7: {varrive, {arriveθ:pastp, trainthe}} {trainthe, {vbe:θ:pres, {beθ, trainthe}}} INFLv INFLv:3sg
WS 8: {trainthe, {INFLv, {varrive, {arriveθ:pastp, trainthe}}}} {trainthe, {vbe:θ:pres, {beθ, trainthe}}} INFLv:3sg
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 8: {trainthe, {INFLv:3sg, {trainthe, {vbe:θ:pres, {beθ, trainthe}}}}} {varrive, {arriveθ:pastp, trainthe}} INFLv
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 8: {{varrive, {arriveθ:pastp, trainthe}},{trainthe, {vbe:θ:pres, {beθ, trainthe}}}} INFLv INFLv:3sg
WS 9: {trainthe, {INFLv, {{varrive, {arriveθ:pastp, trainthe}},{trainthe, {vbe:θ:pres, {beθ, trainthe}}}}}} 
Final WS: {C, {trainthe, {INFLv, {{varrive, {arriveθ:pastp, trainthe}},{trainthe, {vbe:θ:pres, {beθ, trainthe}}}}}}} 
INT/EXT: {C, {trainthe, {INFLv, {{varrive, {arriveθ:pastp, trainthe}}, {trainthe, {vbe:θ:pres, {beθ, trainthe}}}}}}}
Initial Spellout: the train 3sg arrive 3sg pres be the train
Spellout: the train arrive is the train
Error: inconsistent spellout
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 7: {trainthe, {INFLv:3sg, {trainthe, {vbe:θ:pres, {beθ, trainthe}}}}} {arriveθ:pastp, trainthe} varrive INFLv
WS 8: {{arriveθ:pastp, trainthe},varrive} {trainthe, {INFLv:3sg, {trainthe, {vbe:θ:pres, {beθ, trainthe}}}}} INFLv
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 7: {{trainthe, {vbe:θ:pres, {beθ, trainthe}}},{arriveθ:pastp, trainthe}} varrive INFLv INFLv:3sg
WS 8: {{{trainthe, {vbe:θ:pres, {beθ, trainthe}}},{arriveθ:pastp, trainthe}},varrive} INFLv INFLv:3sg
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 7: {{trainthe, {vbe:θ:pres, {beθ, trainthe}}},varrive} {arriveθ:pastp, trainthe} INFLv INFLv:3sg
WS 8: {{{trainthe, {vbe:θ:pres, {beθ, trainthe}}},varrive},{arriveθ:pastp, trainthe}} INFLv INFLv:3sg
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 7: {{arriveθ:pastp, trainthe},varrive} {trainthe, {vbe:θ:pres, {beθ, trainthe}}} INFLv INFLv:3sg
WS 8: {{{arriveθ:pastp, trainthe},varrive},{trainthe, {vbe:θ:pres, {beθ, trainthe}}}} INFLv INFLv:3sg
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 6: {{arriveθ:pastp, trainthe},varrive} {vbe:θ:pres, {beθ, trainthe}} trainthe INFLv INFLv:3sg
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 5: {{arriveθ:pastp, trainthe},{beθ, trainthe}} trainthe varrive INFLv vbe:θ:pres INFLv:3sg
WS 6: {{{arriveθ:pastp, trainthe},{beθ, trainthe}},varrive} trainthe INFLv vbe:θ:pres INFLv:3sg
WS 7: {{{{arriveθ:pastp, trainthe},{beθ, trainthe}},varrive},vbe:θ:pres} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 6: {{{arriveθ:pastp, trainthe},{beθ, trainthe}},vbe:θ:pres} trainthe varrive INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 6: {varrive,vbe:θ:pres}{{arriveθ:pastp, trainthe},{beθ, trainthe}} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 5: {{arriveθ:pastp, trainthe},varrive} trainthe {beθ, trainthe} INFLv vbe:θ:pres INFLv:3sg
WS 6: {{{arriveθ:pastp, trainthe},varrive},{beθ, trainthe}} trainthe INFLv vbe:θ:pres INFLv:3sg
WS 7: {{{{arriveθ:pastp, trainthe},varrive},{beθ, trainthe}},vbe:θ:pres} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 6: {{{arriveθ:pastp, trainthe},varrive},vbe:θ:pres} trainthe {beθ, trainthe} INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 6: {{beθ, trainthe},vbe:θ:pres}{{arriveθ:pastp, trainthe},varrive} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 5: {{arriveθ:pastp, trainthe},vbe:θ:pres} trainthe {beθ, trainthe} varrive INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 5: {{beθ, trainthe},varrive} trainthe {arriveθ:pastp, trainthe} INFLv vbe:θ:pres INFLv:3sg
WS 6: {{{beθ, trainthe},varrive},{arriveθ:pastp, trainthe}} trainthe INFLv vbe:θ:pres INFLv:3sg
WS 7: {{{{beθ, trainthe},varrive},{arriveθ:pastp, trainthe}},vbe:θ:pres} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 6: {{{beθ, trainthe},varrive},vbe:θ:pres} trainthe {arriveθ:pastp, trainthe} INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 6: {{arriveθ:pastp, trainthe},vbe:θ:pres}{{beθ, trainthe},varrive} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 5: {{beθ, trainthe},vbe:θ:pres} trainthe {arriveθ:pastp, trainthe} varrive INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 5: {varrive,vbe:θ:pres} trainthe {arriveθ:pastp, trainthe} {beθ, trainthe} INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 3: {varrive, arriveθ:pastp} trainthe {beθ, trainthe} INFLv vbe:θ:pres INFLv:3sg
WS 4: {vbe:θ:pres, {beθ, trainthe}} {varrive, arriveθ:pastp} trainthe INFLv INFLv:3sg
WS 5: {trainthe, {vbe:θ:pres, {beθ, trainthe}}} {varrive, arriveθ:pastp} INFLv INFLv:3sg
WS 6: {trainthe, {INFLv:3sg, {trainthe, {vbe:θ:pres, {beθ, trainthe}}}}} {varrive, arriveθ:pastp} INFLv
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 6: {{trainthe, {vbe:θ:pres, {beθ, trainthe}}},{varrive, arriveθ:pastp}} INFLv INFLv:3sg
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 4: {{varrive, arriveθ:pastp},{beθ, trainthe}} trainthe INFLv vbe:θ:pres INFLv:3sg
WS 5: {{{varrive, arriveθ:pastp},{beθ, trainthe}},vbe:θ:pres} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 4: {{varrive, arriveθ:pastp},vbe:θ:pres} trainthe {beθ, trainthe} INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 4: {{beθ, trainthe},vbe:θ:pres} {varrive, arriveθ:pastp} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 3: {vbe:θ:pres, {beθ, trainthe}} trainthe arriveθ:pastp varrive INFLv INFLv:3sg
WS 4: {trainthe, {vbe:θ:pres, {beθ, trainthe}}} arriveθ:pastp varrive INFLv INFLv:3sg
WS 5: trainthe {trainthe, {vbe:θ:pres, {beθ, trainthe}}} arriveθ:pastp varrive INFLv INFLv:3sg
WS 6: {arriveθ:pastp, trainthe} {trainthe, {vbe:θ:pres, {beθ, trainthe}}} varrive INFLv INFLv:3sg
WS 7: {varrive, {arriveθ:pastp, trainthe}} {trainthe, {vbe:θ:pres, {beθ, trainthe}}} INFLv INFLv:3sg
WS 8: {trainthe, {INFLv, {varrive, {arriveθ:pastp, trainthe}}}} {trainthe, {vbe:θ:pres, {beθ, trainthe}}} INFLv:3sg
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 8: {trainthe, {INFLv:3sg, {trainthe, {vbe:θ:pres, {beθ, trainthe}}}}} {varrive, {arriveθ:pastp, trainthe}} INFLv
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 8: {{varrive, {arriveθ:pastp, trainthe}},{trainthe, {vbe:θ:pres, {beθ, trainthe}}}} INFLv INFLv:3sg
WS 9: {trainthe, {INFLv, {{varrive, {arriveθ:pastp, trainthe}},{trainthe, {vbe:θ:pres, {beθ, trainthe}}}}}} 
Final WS: {C, {trainthe, {INFLv, {{varrive, {arriveθ:pastp, trainthe}},{trainthe, {vbe:θ:pres, {beθ, trainthe}}}}}}} 
INT/EXT: {C, {trainthe, {INFLv, {{varrive, {arriveθ:pastp, trainthe}}, {trainthe, {vbe:θ:pres, {beθ, trainthe}}}}}}}
Initial Spellout: the train 3sg arrive 3sg pres be the train
Spellout: the train arrive is the train
Error: inconsistent spellout
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 7: {{arriveθ:pastp, trainthe},{trainthe, {vbe:θ:pres, {beθ, trainthe}}}} varrive INFLv INFLv:3sg
WS 8: {{{arriveθ:pastp, trainthe},{trainthe, {vbe:θ:pres, {beθ, trainthe}}}},varrive} INFLv INFLv:3sg
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 7: {{arriveθ:pastp, trainthe},varrive} {trainthe, {vbe:θ:pres, {beθ, trainthe}}} INFLv INFLv:3sg
WS 8: {{{arriveθ:pastp, trainthe},varrive},{trainthe, {vbe:θ:pres, {beθ, trainthe}}}} INFLv INFLv:3sg
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 7: {{trainthe, {vbe:θ:pres, {beθ, trainthe}}},varrive} {arriveθ:pastp, trainthe} INFLv INFLv:3sg
WS 8: {{{trainthe, {vbe:θ:pres, {beθ, trainthe}}},varrive},{arriveθ:pastp, trainthe}} INFLv INFLv:3sg
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 6: {varrive, arriveθ:pastp} trainthe {trainthe, {vbe:θ:pres, {beθ, trainthe}}} INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 6: {trainthe, {INFLv:3sg, {trainthe, {vbe:θ:pres, {beθ, trainthe}}}}} trainthe arriveθ:pastp varrive INFLv
WS 7: {arriveθ:pastp,varrive} {trainthe, {INFLv:3sg, {trainthe, {vbe:θ:pres, {beθ, trainthe}}}}} trainthe INFLv
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 6: {{trainthe, {vbe:θ:pres, {beθ, trainthe}}},arriveθ:pastp} trainthe varrive INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {beθ, trainthe} arriveθ:pastp varrive INFLv vbe:θ:pres INFLv:3sg
WS 6: {arriveθ:pastp,varrive} trainthe {trainthe, {vbe:θ:pres, {beθ, trainthe}}} INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {varrive, arriveθ:pastp} INFLv beθ vbe:θ:pres INFLv:3sg trainthe
WS 2: {beθ, trainthe} {varrive, arriveθ:pastp} INFLv vbe:θ:pres INFLv:3sg
WS 3: trainthe {beθ, trainthe} {varrive, arriveθ:pastp} INFLv vbe:θ:pres INFLv:3sg
WS 4: {vbe:θ:pres, {beθ, trainthe}} trainthe {varrive, arriveθ:pastp} INFLv INFLv:3sg
WS 5: {trainthe, {vbe:θ:pres, {beθ, trainthe}}} {varrive, arriveθ:pastp} INFLv INFLv:3sg
WS 6: {trainthe, {INFLv:3sg, {trainthe, {vbe:θ:pres, {beθ, trainthe}}}}} {varrive, arriveθ:pastp} INFLv
WS 1: {varrive, arriveθ:pastp} INFLv beθ vbe:θ:pres INFLv:3sg trainthe
WS 6: {{trainthe, {vbe:θ:pres, {beθ, trainthe}}},{varrive, arriveθ:pastp}} INFLv INFLv:3sg
WS 1: {varrive, arriveθ:pastp} INFLv beθ vbe:θ:pres INFLv:3sg trainthe
WS 4: {{beθ, trainthe},{varrive, arriveθ:pastp}} trainthe INFLv vbe:θ:pres INFLv:3sg
WS 5: {{{beθ, trainthe},{varrive, arriveθ:pastp}},vbe:θ:pres} trainthe INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {varrive, arriveθ:pastp} INFLv beθ vbe:θ:pres INFLv:3sg trainthe
WS 4: {{beθ, trainthe},vbe:θ:pres} trainthe {varrive, arriveθ:pastp} INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {varrive, arriveθ:pastp} INFLv beθ vbe:θ:pres INFLv:3sg trainthe
WS 4: {{varrive, arriveθ:pastp},vbe:θ:pres} trainthe {beθ, trainthe} INFLv INFLv:3sg
WS fail: WS θS 0 < θR 1
WS 1: {varrive, arriveθ:pastp} INFLv beθ vbe:θ:pres INFLv:3sg trainthe
WS 2: {vbe:θ:pres, beθ} {varrive, arriveθ:pastp} INFLv INFLv:3sg trainthe
WS 1: {vbe:θ:pres, beθ} arriveθ:pastp varrive INFLv INFLv:3sg trainthe