[Right triangle ⏵ may be expanded, down triangle ⏷ to close. Button = tree pop-up. × = close pop-up.]
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, {train
the , {INFL
v: 3sg ,
{ {
train the , {v
be: θ: pres , {be
θ , train
the }}}, {v
arrive: pst , {arrive
θ ,
train the }}
} }}}
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, {train
the , {INFL
v ,
{ {v
arrive: pst , {arrive
θ ,
train the }}, {
train the , {v
be: θ: pres , {be
θ , train
the }}}
} }}}
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, {train
the , {INFL
v: 3sg ,
{ {
train the , {v
be: θ: pres , {be
θ , train
the }}}, {v
arrive: pst , {arrive
θ ,
train the }}
} }}}
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, {train
the , {INFL
v: 3sg ,
{ {
train the , {v
be: θ: pres , {be
θ , train
the }}}, {v
arrive: pst , {arrive
θ ,
train the }}
} }}}
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, {train
the , {INFL
v ,
{ {v
arrive: pst , {arrive
θ ,
train the }}, {
train the , {v
be: θ: pres , {be
θ , train
the }}}
} }}}
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, {train
the , {INFL
v ,
{ {v
arrive: pst , {arrive
θ ,
train the }}, {
train the , {v
be: θ: pres , {be
θ , train
the }}}
} }}}
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, {train
the , {INFL
v: 3sg ,
{ {
train the , {v
be: θ: pres , {be
θ , train
the }}}, {v
arrive , {arrive
θ: pastp ,
train the }}
} }}}
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, {train
the , {INFL
v ,
{ {v
arrive , {arrive
θ: pastp ,
train the }}, {
train the , {v
be: θ: pres , {be
θ , train
the }}}
} }}}
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, {train
the , {INFL
v: 3sg ,
{ {
train the , {v
be: θ: pres , {be
θ , train
the }}}, {v
arrive , {arrive
θ: pastp ,
train the }}
} }}}
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, {train
the , {INFL
v: 3sg ,
{ {
train the , {v
be: θ: pres , {be
θ , train
the }}}, {v
arrive , {arrive
θ: pastp ,
train the }}
} }}}
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, {train
the , {INFL
v ,
{ {v
arrive , {arrive
θ: pastp ,
train the }}, {
train the , {v
be: θ: pres , {be
θ , train
the }}}
} }}}
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, {train
the , {INFL
v ,
{ {v
arrive , {arrive
θ: pastp ,
train the }}, {
train the , {v
be: θ: pres , {be
θ , train
the }}}
} }}}
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