[Right triangle ⏵ may be expanded, down triangle ⏷ to close. Button 
= tree pop-up. × = close pop-up.]
Initial WS 1: Bill meetθ vmeet:θ:pst:ext(do) arriveθ varrive:pres INFLv John INFLv
WS 1: {meetθ, Bill} vmeet:θ:pst:ext(do) arriveθ varrive:pres INFLv John INFLv
WS 2: {vmeet:θ:pst:ext(do), {meetθ, Bill}} arriveθ varrive:pres INFLv John INFLv
WS 3: {arriveθ, John} {vmeet:θ:pst:ext(do), {meetθ, Bill}} varrive:pres INFLv INFLv
WS 4: {varrive:pres, {arriveθ, John}} {vmeet:θ:pst:ext(do), {meetθ, Bill}} INFLv INFLv
WS 5: {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}} {varrive:pres, {arriveθ, John}} INFLv INFLv
WS 6: {{John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}, {varrive:pres, {arriveθ, John}}} INFLv INFLv
WS 7: {INFLv, {{John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}, {varrive:pres, {arriveθ, John}}}}
Final WS: {C, {INFLv, {{John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}, {varrive:pres, {arriveθ, John}}}}}
INT/EXT: {C, {INFL
v,
{{John, {v
meet:θ:pst:ext(do), {meet
θ, Bill}}}, {v
arrive:pres, {arrive
θ, John}}
}}}
EXT: John {[3sg,pst,meet,Bill],[and],[3sg,pres,arrive]}
Spellout: John {[meeted,Bill],[and],[arrives]}
Blocked: inconsistent with input!
Final WS: {CQ:aux(null,pst,meet), {INFLv, {{John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}, {varrive:pres, {arriveθ, John}}}}}
INT/EXT: {C
Q:aux(null,pst,meet), {INFL
v,
{{John, {v
meet:θ:pst:ext(do), {meet
θ, Bill}}}, {v
arrive:pres, {arrive
θ, John}}
}}}
EXT: null pst meet →→ John {[3sg,pst,meet,Bill],[and],[3sg,pres,arrive]}
Spellout: 3sg pst do John {[meet,Bill],[and],[arrive]}
Spellout: did John {[meet,Bill],[and],[arrive]}
Blocked: inconsistent with input!
WS 1: {meetθ, Bill} vmeet:θ:pst:ext(do) arriveθ varrive:pres INFLv John INFLv
WS 2: {vmeet:θ:pst:ext(do), {meetθ, Bill}} arriveθ varrive:pres INFLv John INFLv [gray]
WS 3: {arriveθ, John} {vmeet:θ:pst:ext(do), {meetθ, Bill}} varrive:pres INFLv INFLv [gray]
WS 4: {varrive:pres, {arriveθ, John}} {vmeet:θ:pst:ext(do), {meetθ, Bill}} INFLv INFLv [gray]
WS 5: {Bill, {vmeet:θ:pst:ext(do), {meetθ, Bill}}} {varrive:pres, {arriveθ, John}} INFLv INFLv
WS 6: {{Bill, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}, {varrive:pres, {arriveθ, John}}} INFLv INFLv
WS 1: {meetθ, Bill} vmeet:θ:pst:ext(do) arriveθ varrive:pres INFLv John INFLv
WS 2: {vmeet:θ:pst:ext(do), {meetθ, Bill}} arriveθ varrive:pres INFLv John INFLv [gray]
WS 3: {arriveθ, John} {vmeet:θ:pst:ext(do), {meetθ, Bill}} varrive:pres INFLv INFLv [gray]
WS 4: {varrive:pres, {arriveθ, John}} {vmeet:θ:pst:ext(do), {meetθ, Bill}} INFLv INFLv [gray]
WS 5: {INFLv, {varrive:pres, {arriveθ, John}}} {vmeet:θ:pst:ext(do), {meetθ, Bill}} INFLv
WS 6: {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}} {INFLv, {varrive:pres, {arriveθ, John}}} INFLv
WS 7: {INFLv, {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}} {INFLv, {varrive:pres, {arriveθ, John}}}
WS 8: {{INFLv, {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}}, {INFLv, {varrive:pres, {arriveθ, John}}}}
Final WS: {C, {{INFLv, {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}}, {INFLv, {varrive:pres, {arriveθ, John}}}}}
INT/EXT: {C,
{{INFL
v, {John, {v
meet:θ:pst:ext(do), {meet
θ, Bill}}}}, {INFL
v, {v
arrive:pres, {arrive
θ, John}}}
}}
EXT: {[John,3sg,pst,meet,Bill],[and],[John,3sg,pres,arrive]}
Spellout: {[John,meeted,Bill],[and],[John,arrives]}
Blocked: inconsistent with input!
EXT: {[John,3sg,pst,meet,Bill],[and],[there,3sg,pres,arrive,John]}
Spellout: {[John,meeted,Bill],[and],[there,arrives,John]}
Blocked: inconsistent with input!
WS 1: {meetθ, Bill} vmeet:θ:pst:ext(do) arriveθ varrive:pres INFLv John INFLv
WS 2: {vmeet:θ:pst:ext(do), {meetθ, Bill}} arriveθ varrive:pres INFLv John INFLv [gray]
WS 3: {arriveθ, John} {vmeet:θ:pst:ext(do), {meetθ, Bill}} varrive:pres INFLv INFLv [gray]
WS 4: {varrive:pres, {arriveθ, John}} {vmeet:θ:pst:ext(do), {meetθ, Bill}} INFLv INFLv [gray]
WS 5: {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}} {varrive:pres, {arriveθ, John}} INFLv INFLv [gray]
WS 6: {Bill, {vmeet:θ:pst:ext(do), {meetθ, Bill}}} {INFLv, {varrive:pres, {arriveθ, John}}} INFLv
WS 7: {INFLv, {Bill, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}} {INFLv, {varrive:pres, {arriveθ, John}}}
WS 8: {{INFLv, {Bill, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}}, {INFLv, {varrive:pres, {arriveθ, John}}}}
Final WS: {C, {{INFLv, {Bill, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}}, {INFLv, {varrive:pres, {arriveθ, John}}}}}
INT/EXT: {C,
{{INFL
v, {Bill, {v
meet:θ:pst:ext(do), {meet
θ, Bill}}}}, {INFL
v, {v
arrive:pres, {arrive
θ, John}}}
}}
EXT: {[Bill,3sg,pst,meet,Bill],[and],[John,3sg,pres,arrive]}
Spellout: {[Bill,meeted,Bill],[and],[John,arrives]}
Blocked: inconsistent with input!
EXT: {[Bill,3sg,pst,meet,Bill],[and],[there,3sg,pres,arrive,John]}
Spellout: {[Bill,meeted,Bill],[and],[there,arrives,John]}
Blocked: inconsistent with input!
WS 1: {meetθ, Bill} vmeet:θ:pst:ext(do) arriveθ varrive:pres INFLv John INFLv
WS 2: {vmeet:θ:pst:ext(do), {meetθ, Bill}} arriveθ varrive:pres INFLv John INFLv [gray]
WS 3: {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}} arriveθ varrive:pres INFLv INFLv
WS 4: {arriveθ, John} {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}} varrive:pres INFLv INFLv
WS 5: {varrive:pres, {arriveθ, John}} {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}} INFLv INFLv
WS 6: {INFLv, {varrive:pres, {arriveθ, John}}} {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}} INFLv
WS 1: {meetθ, Bill} vmeet:θ:pst:ext(do) arriveθ varrive:pres INFLv John INFLv
WS 2: {vmeet:θ:pst:ext(do), {meetθ, Bill}} arriveθ varrive:pres INFLv John INFLv [gray]
WS 3: {arriveθ, John} {vmeet:θ:pst:ext(do), {meetθ, Bill}} varrive:pres INFLv INFLv [gray]
WS 4: {arriveθ, John} {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}} varrive:pres INFLv INFLv [gray]
WS 5: {varrive:pres, {arriveθ, John}} {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}} INFLv INFLv [gray]
WS 6: {{varrive:pres, {arriveθ, John}}, {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}} INFLv INFLv
WS 7: {INFLv, {{varrive:pres, {arriveθ, John}}, {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}}}
Final WS: {C, {INFLv, {{varrive:pres, {arriveθ, John}}, {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}}}}
INT/EXT: {C, {INFL
v,
{{v
arrive:pres, {arrive
θ, John}}, {John, {v
meet:θ:pst:ext(do), {meet
θ, Bill}}}
}}}
EXT: John {[3sg,pres,arrive],[and],[3sg,pst,meet,Bill]}
Spellout: John {[arrives],[and],[meeted,Bill]}
Blocked: inconsistent with input!
Final WS: {CQ:aux(null,pst,meet), {INFLv, {{varrive:pres, {arriveθ, John}}, {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}}}}
INT/EXT: {C
Q:aux(null,pst,meet), {INFL
v,
{{v
arrive:pres, {arrive
θ, John}}, {John, {v
meet:θ:pst:ext(do), {meet
θ, Bill}}}
}}}
EXT: null pst meet →→ John {[3sg,pres,arrive],[and],[3sg,pst,meet,Bill]}
Spellout: null pst meet John {[3sg,pres,arrive],[and],[3sg,pst,meet,Bill]}
Blocked: inconsistent with input!
WS 1: {meetθ, Bill} vmeet:θ:pst:ext(do) arriveθ varrive:pres INFLv John INFLv
WS 2: {vmeet:θ:pst:ext(do), {meetθ, Bill}} arriveθ varrive:pres INFLv John INFLv [gray]
WS 3: {arriveθ, John} {vmeet:θ:pst:ext(do), {meetθ, Bill}} varrive:pres INFLv INFLv [gray]
WS 4: {arriveθ, Bill} {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}} varrive:pres INFLv INFLv
WS 5: {varrive:pres, {arriveθ, Bill}} {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}} INFLv INFLv
WS 6: {INFLv, {varrive:pres, {arriveθ, Bill}}} {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}} INFLv
WS 1: {meetθ, Bill} vmeet:θ:pst:ext(do) arriveθ varrive:pres INFLv John INFLv
WS 2: {vmeet:θ:pst:ext(do), {meetθ, Bill}} arriveθ varrive:pres INFLv John INFLv [gray]
WS 3: {arriveθ, John} {vmeet:θ:pst:ext(do), {meetθ, Bill}} varrive:pres INFLv INFLv [gray]
WS 4: {arriveθ, John} {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}} varrive:pres INFLv INFLv [gray]
WS 5: {varrive:pres, {arriveθ, Bill}} {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}} INFLv INFLv [gray]
WS 6: {{varrive:pres, {arriveθ, Bill}}, {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}} INFLv INFLv
WS 1: {meetθ, Bill} vmeet:θ:pst:ext(do) arriveθ varrive:pres INFLv John INFLv
WS 2: {vmeet:θ:pst:ext(do), {meetθ, Bill}} arriveθ varrive:pres INFLv John INFLv [gray]
WS 3: {arriveθ, John} {vmeet:θ:pst:ext(do), {meetθ, Bill}} varrive:pres INFLv INFLv [gray]
WS 4: {INFLv, {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}} arriveθ varrive:pres INFLv
WS 5: {arriveθ, John} {INFLv, {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}} varrive:pres INFLv
WS 6: {varrive:pres, {arriveθ, John}} {INFLv, {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}} INFLv
WS 7: {INFLv, {varrive:pres, {arriveθ, John}}} {INFLv, {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}}
WS 8: {{INFLv, {varrive:pres, {arriveθ, John}}}, {INFLv, {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}}}
Final WS: {C, {{INFLv, {varrive:pres, {arriveθ, John}}}, {INFLv, {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}}}}
INT/EXT: {C,
{{INFL
v, {v
arrive:pres, {arrive
θ, John}}}, {INFL
v, {John, {v
meet:θ:pst:ext(do), {meet
θ, Bill}}}}
}}
EXT: {[John,3sg,pres,arrive],[and],[John,3sg,pst,meet,Bill]}
Spellout: {[John,arrives],[and],[John,meeted,Bill]}
Blocked: inconsistent with input!
EXT: {[there,3sg,pres,arrive,John],[and],[John,3sg,pst,meet,Bill]}
Spellout: {[there,arrives,John],[and],[John,meeted,Bill]}
Blocked: inconsistent with input!
WS 1: {meetθ, Bill} vmeet:θ:pst:ext(do) arriveθ varrive:pres INFLv John INFLv
WS 2: {vmeet:θ:pst:ext(do), {meetθ, Bill}} arriveθ varrive:pres INFLv John INFLv [gray]
WS 3: {arriveθ, John} {vmeet:θ:pst:ext(do), {meetθ, Bill}} varrive:pres INFLv INFLv [gray]
WS 4: {arriveθ, John} {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}} varrive:pres INFLv INFLv [gray]
WS 5: {arriveθ, Bill} {INFLv, {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}} varrive:pres INFLv
WS 6: {varrive:pres, {arriveθ, Bill}} {INFLv, {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}} INFLv
WS 7: {INFLv, {varrive:pres, {arriveθ, Bill}}} {INFLv, {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}}
WS 8: {{INFLv, {varrive:pres, {arriveθ, Bill}}}, {INFLv, {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}}}
Final WS: {C, {{INFLv, {varrive:pres, {arriveθ, Bill}}}, {INFLv, {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}}}}
INT/EXT: {C,
{{INFL
v, {v
arrive:pres, {arrive
θ, Bill}}}, {INFL
v, {John, {v
meet:θ:pst:ext(do), {meet
θ, Bill}}}}
}}
EXT: {[Bill,3sg,pres,arrive],[and],[John,3sg,pst,meet,Bill]}
Spellout: {[Bill,arrives],[and],[John,meeted,Bill]}
Blocked: inconsistent with input!
EXT: {[there,3sg,pres,arrive,Bill],[and],[John,3sg,pst,meet,Bill]}
Spellout: {[there,arrives,Bill],[and],[John,meeted,Bill]}
Blocked: inconsistent with input!
WS 1: {meetθ, John} Bill vmeet:θ:pst:ext(do) arriveθ varrive:pres INFLv INFLv
WS 2: {vmeet:θ:pst:ext(do), {meetθ, John}} Bill arriveθ varrive:pres INFLv INFLv
WS 3: {arriveθ, Bill} {vmeet:θ:pst:ext(do), {meetθ, John}} varrive:pres INFLv INFLv
WS 4: {varrive:pres, {arriveθ, Bill}} {vmeet:θ:pst:ext(do), {meetθ, John}} INFLv INFLv
WS 5: {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}} {varrive:pres, {arriveθ, Bill}} INFLv INFLv
WS 6: {{Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}}, {varrive:pres, {arriveθ, Bill}}} INFLv INFLv
WS 7: {INFLv, {{Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}}, {varrive:pres, {arriveθ, Bill}}}}
Final WS: {C, {INFLv, {{Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}}, {varrive:pres, {arriveθ, Bill}}}}}
INT/EXT: {C, {INFL
v,
{{Bill, {v
meet:θ:pst:ext(do), {meet
θ, John}}}, {v
arrive:pres, {arrive
θ, Bill}}
}}}
EXT: Bill {[3sg,pst,meet,John],[and],[3sg,pres,arrive]}
Spellout: Bill {[meeted,John],[and],[arrives]}
Blocked: inconsistent with input!
Final WS: {CQ:aux(null,pst,meet), {INFLv, {{Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}}, {varrive:pres, {arriveθ, Bill}}}}}
INT/EXT: {C
Q:aux(null,pst,meet), {INFL
v,
{{Bill, {v
meet:θ:pst:ext(do), {meet
θ, John}}}, {v
arrive:pres, {arrive
θ, Bill}}
}}}
EXT: null pst meet →→ Bill {[3sg,pst,meet,John],[and],[3sg,pres,arrive]}
Spellout: 3sg pst do Bill {[meet,John],[and],[arrive]}
Spellout: did Bill {[meet,John],[and],[arrive]}
Blocked: inconsistent with input!
WS 1: {meetθ, John} Bill vmeet:θ:pst:ext(do) arriveθ varrive:pres INFLv INFLv
WS 2: {vmeet:θ:pst:ext(do), {meetθ, John}} Bill arriveθ varrive:pres INFLv INFLv [gray]
WS 3: {arriveθ, Bill} {vmeet:θ:pst:ext(do), {meetθ, John}} varrive:pres INFLv INFLv [gray]
WS 4: {varrive:pres, {arriveθ, Bill}} {vmeet:θ:pst:ext(do), {meetθ, John}} INFLv INFLv [gray]
WS 5: {John, {vmeet:θ:pst:ext(do), {meetθ, John}}} {varrive:pres, {arriveθ, Bill}} INFLv INFLv
WS 6: {{John, {vmeet:θ:pst:ext(do), {meetθ, John}}}, {varrive:pres, {arriveθ, Bill}}} INFLv INFLv
WS 1: {meetθ, John} Bill vmeet:θ:pst:ext(do) arriveθ varrive:pres INFLv INFLv
WS 2: {vmeet:θ:pst:ext(do), {meetθ, John}} Bill arriveθ varrive:pres INFLv INFLv [gray]
WS 3: {arriveθ, Bill} {vmeet:θ:pst:ext(do), {meetθ, John}} varrive:pres INFLv INFLv [gray]
WS 4: {varrive:pres, {arriveθ, Bill}} {vmeet:θ:pst:ext(do), {meetθ, John}} INFLv INFLv [gray]
WS 5: {INFLv, {varrive:pres, {arriveθ, Bill}}} {vmeet:θ:pst:ext(do), {meetθ, John}} INFLv
WS 6: {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}} {INFLv, {varrive:pres, {arriveθ, Bill}}} INFLv
WS 7: {INFLv, {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}}} {INFLv, {varrive:pres, {arriveθ, Bill}}}
WS 8: {{INFLv, {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}}}, {INFLv, {varrive:pres, {arriveθ, Bill}}}}
Final WS: {C, {{INFLv, {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}}}, {INFLv, {varrive:pres, {arriveθ, Bill}}}}}
INT/EXT: {C,
{{INFL
v, {Bill, {v
meet:θ:pst:ext(do), {meet
θ, John}}}}, {INFL
v, {v
arrive:pres, {arrive
θ, Bill}}}
}}
EXT: {[Bill,3sg,pst,meet,John],[and],[Bill,3sg,pres,arrive]}
Spellout: {[Bill,meeted,John],[and],[Bill,arrives]}
Blocked: inconsistent with input!
EXT: {[Bill,3sg,pst,meet,John],[and],[there,3sg,pres,arrive,Bill]}
Spellout: {[Bill,meeted,John],[and],[there,arrives,Bill]}
Blocked: inconsistent with input!
WS 1: {meetθ, John} Bill vmeet:θ:pst:ext(do) arriveθ varrive:pres INFLv INFLv
WS 2: {vmeet:θ:pst:ext(do), {meetθ, John}} Bill arriveθ varrive:pres INFLv INFLv [gray]
WS 3: {arriveθ, Bill} {vmeet:θ:pst:ext(do), {meetθ, John}} varrive:pres INFLv INFLv [gray]
WS 4: {varrive:pres, {arriveθ, Bill}} {vmeet:θ:pst:ext(do), {meetθ, John}} INFLv INFLv [gray]
WS 5: {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}} {varrive:pres, {arriveθ, Bill}} INFLv INFLv [gray]
WS 6: {John, {vmeet:θ:pst:ext(do), {meetθ, John}}} {INFLv, {varrive:pres, {arriveθ, Bill}}} INFLv
WS 7: {INFLv, {John, {vmeet:θ:pst:ext(do), {meetθ, John}}}} {INFLv, {varrive:pres, {arriveθ, Bill}}}
WS 8: {{INFLv, {John, {vmeet:θ:pst:ext(do), {meetθ, John}}}}, {INFLv, {varrive:pres, {arriveθ, Bill}}}}
Final WS: {C, {{INFLv, {John, {vmeet:θ:pst:ext(do), {meetθ, John}}}}, {INFLv, {varrive:pres, {arriveθ, Bill}}}}}
INT/EXT: {C,
{{INFL
v, {John, {v
meet:θ:pst:ext(do), {meet
θ, John}}}}, {INFL
v, {v
arrive:pres, {arrive
θ, Bill}}}
}}
EXT: {[John,3sg,pst,meet,John],[and],[Bill,3sg,pres,arrive]}
Spellout: {[John,meeted,John],[and],[Bill,arrives]}
Blocked: inconsistent with input!
EXT: {[John,3sg,pst,meet,John],[and],[there,3sg,pres,arrive,Bill]}
Spellout: {[John,meeted,John],[and],[there,arrives,Bill]}
Blocked: inconsistent with input!
WS 1: {meetθ, John} Bill vmeet:θ:pst:ext(do) arriveθ varrive:pres INFLv INFLv
WS 2: {vmeet:θ:pst:ext(do), {meetθ, John}} Bill arriveθ varrive:pres INFLv INFLv [gray]
WS 3: {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}} arriveθ varrive:pres INFLv INFLv
WS 4: {arriveθ, Bill} {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}} varrive:pres INFLv INFLv
WS 5: {varrive:pres, {arriveθ, Bill}} {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}} INFLv INFLv
WS 6: {INFLv, {varrive:pres, {arriveθ, Bill}}} {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}} INFLv
WS 1: {meetθ, John} Bill vmeet:θ:pst:ext(do) arriveθ varrive:pres INFLv INFLv
WS 2: {vmeet:θ:pst:ext(do), {meetθ, John}} Bill arriveθ varrive:pres INFLv INFLv [gray]
WS 3: {arriveθ, Bill} {vmeet:θ:pst:ext(do), {meetθ, John}} varrive:pres INFLv INFLv [gray]
WS 4: {arriveθ, Bill} {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}} varrive:pres INFLv INFLv [gray]
WS 5: {varrive:pres, {arriveθ, Bill}} {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}} INFLv INFLv [gray]
WS 6: {{varrive:pres, {arriveθ, Bill}}, {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}}} INFLv INFLv
WS 7: {INFLv, {{varrive:pres, {arriveθ, Bill}}, {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}}}}
Final WS: {C, {INFLv, {{varrive:pres, {arriveθ, Bill}}, {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}}}}}
INT/EXT: {C, {INFL
v,
{{v
arrive:pres, {arrive
θ, Bill}}, {Bill, {v
meet:θ:pst:ext(do), {meet
θ, John}}}
}}}
EXT: Bill {[3sg,pres,arrive],[and],[3sg,pst,meet,John]}
Spellout: Bill {[arrives],[and],[meeted,John]}
Blocked: inconsistent with input!
Final WS: {CQ:aux(null,pst,meet), {INFLv, {{varrive:pres, {arriveθ, Bill}}, {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}}}}}
INT/EXT: {C
Q:aux(null,pst,meet), {INFL
v,
{{v
arrive:pres, {arrive
θ, Bill}}, {Bill, {v
meet:θ:pst:ext(do), {meet
θ, John}}}
}}}
EXT: null pst meet →→ Bill {[3sg,pres,arrive],[and],[3sg,pst,meet,John]}
Spellout: null pst meet Bill {[3sg,pres,arrive],[and],[3sg,pst,meet,John]}
Blocked: inconsistent with input!
WS 1: {meetθ, John} Bill vmeet:θ:pst:ext(do) arriveθ varrive:pres INFLv INFLv
WS 2: {vmeet:θ:pst:ext(do), {meetθ, John}} Bill arriveθ varrive:pres INFLv INFLv [gray]
WS 3: {arriveθ, Bill} {vmeet:θ:pst:ext(do), {meetθ, John}} varrive:pres INFLv INFLv [gray]
WS 4: {arriveθ, John} {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}} varrive:pres INFLv INFLv
WS 5: {varrive:pres, {arriveθ, John}} {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}} INFLv INFLv
WS 6: {INFLv, {varrive:pres, {arriveθ, John}}} {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}} INFLv
WS 1: {meetθ, John} Bill vmeet:θ:pst:ext(do) arriveθ varrive:pres INFLv INFLv
WS 2: {vmeet:θ:pst:ext(do), {meetθ, John}} Bill arriveθ varrive:pres INFLv INFLv [gray]
WS 3: {arriveθ, Bill} {vmeet:θ:pst:ext(do), {meetθ, John}} varrive:pres INFLv INFLv [gray]
WS 4: {arriveθ, Bill} {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}} varrive:pres INFLv INFLv [gray]
WS 5: {varrive:pres, {arriveθ, John}} {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}} INFLv INFLv [gray]
WS 6: {{varrive:pres, {arriveθ, John}}, {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}}} INFLv INFLv
WS 1: {meetθ, John} Bill vmeet:θ:pst:ext(do) arriveθ varrive:pres INFLv INFLv
WS 2: {vmeet:θ:pst:ext(do), {meetθ, John}} Bill arriveθ varrive:pres INFLv INFLv [gray]
WS 3: {arriveθ, Bill} {vmeet:θ:pst:ext(do), {meetθ, John}} varrive:pres INFLv INFLv [gray]
WS 4: {INFLv, {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}}} arriveθ varrive:pres INFLv
WS 5: {arriveθ, Bill} {INFLv, {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}}} varrive:pres INFLv
WS 6: {varrive:pres, {arriveθ, Bill}} {INFLv, {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}}} INFLv
WS 7: {INFLv, {varrive:pres, {arriveθ, Bill}}} {INFLv, {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}}}
WS 8: {{INFLv, {varrive:pres, {arriveθ, Bill}}}, {INFLv, {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}}}}
Final WS: {C, {{INFLv, {varrive:pres, {arriveθ, Bill}}}, {INFLv, {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}}}}}
INT/EXT: {C,
{{INFL
v, {v
arrive:pres, {arrive
θ, Bill}}}, {INFL
v, {Bill, {v
meet:θ:pst:ext(do), {meet
θ, John}}}}
}}
EXT: {[Bill,3sg,pres,arrive],[and],[Bill,3sg,pst,meet,John]}
Spellout: {[Bill,arrives],[and],[Bill,meeted,John]}
Blocked: inconsistent with input!
EXT: {[there,3sg,pres,arrive,Bill],[and],[Bill,3sg,pst,meet,John]}
Spellout: {[there,arrives,Bill],[and],[Bill,meeted,John]}
Blocked: inconsistent with input!
WS 1: {meetθ, John} Bill vmeet:θ:pst:ext(do) arriveθ varrive:pres INFLv INFLv
WS 2: {vmeet:θ:pst:ext(do), {meetθ, John}} Bill arriveθ varrive:pres INFLv INFLv [gray]
WS 3: {arriveθ, Bill} {vmeet:θ:pst:ext(do), {meetθ, John}} varrive:pres INFLv INFLv [gray]
WS 4: {arriveθ, Bill} {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}} varrive:pres INFLv INFLv [gray]
WS 5: {arriveθ, John} {INFLv, {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}}} varrive:pres INFLv
WS 6: {varrive:pres, {arriveθ, John}} {INFLv, {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}}} INFLv
WS 7: {INFLv, {varrive:pres, {arriveθ, John}}} {INFLv, {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}}}
WS 8: {{INFLv, {varrive:pres, {arriveθ, John}}}, {INFLv, {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}}}}
Final WS: {C, {{INFLv, {varrive:pres, {arriveθ, John}}}, {INFLv, {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}}}}}
INT/EXT: {C,
{{INFL
v, {v
arrive:pres, {arrive
θ, John}}}, {INFL
v, {Bill, {v
meet:θ:pst:ext(do), {meet
θ, John}}}}
}}
EXT: {[John,3sg,pres,arrive],[and],[Bill,3sg,pst,meet,John]}
Spellout: {[John,arrives],[and],[Bill,meeted,John]}
Blocked: inconsistent with input!
EXT: {[there,3sg,pres,arrive,John],[and],[Bill,3sg,pst,meet,John]}
Spellout: {[there,arrives,John],[and],[Bill,meeted,John]}
Blocked: inconsistent with input!
WS 1: {arriveθ, Bill} meetθ vmeet:θ:pst:ext(do) varrive:pres INFLv John INFLv
WS 2: {varrive:pres, {arriveθ, Bill}} meetθ vmeet:θ:pst:ext(do) INFLv John INFLv
WS 3: {meetθ, John} {varrive:pres, {arriveθ, Bill}} vmeet:θ:pst:ext(do) INFLv INFLv
WS 4: {vmeet:θ:pst:ext(do), {meetθ, John}} {varrive:pres, {arriveθ, Bill}} INFLv INFLv
WS 5: {John, {vmeet:θ:pst:ext(do), {meetθ, John}}} {varrive:pres, {arriveθ, Bill}} INFLv INFLv
WS 6: {{John, {vmeet:θ:pst:ext(do), {meetθ, John}}}, {varrive:pres, {arriveθ, Bill}}} INFLv INFLv
WS 1: {arriveθ, Bill} meetθ vmeet:θ:pst:ext(do) varrive:pres INFLv John INFLv
WS 2: {varrive:pres, {arriveθ, Bill}} meetθ vmeet:θ:pst:ext(do) INFLv John INFLv [gray]
WS 3: {meetθ, John} {varrive:pres, {arriveθ, Bill}} vmeet:θ:pst:ext(do) INFLv INFLv [gray]
WS 4: {vmeet:θ:pst:ext(do), {meetθ, John}} {varrive:pres, {arriveθ, Bill}} INFLv INFLv [gray]
WS 5: {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}} {varrive:pres, {arriveθ, Bill}} INFLv INFLv
WS 6: {{Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}}, {varrive:pres, {arriveθ, Bill}}} INFLv INFLv
WS 7: {INFLv, {{Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}}, {varrive:pres, {arriveθ, Bill}}}}
Final WS: {C, {INFLv, {{Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}}, {varrive:pres, {arriveθ, Bill}}}}}
INT/EXT: {C, {INFL
v,
{{Bill, {v
meet:θ:pst:ext(do), {meet
θ, John}}}, {v
arrive:pres, {arrive
θ, Bill}}
}}}
EXT: Bill {[3sg,pst,meet,John],[and],[3sg,pres,arrive]}
Spellout: Bill {[meeted,John],[and],[arrives]}
Blocked: inconsistent with input!
Final WS: {CQ:aux(null,pst,meet), {INFLv, {{Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}}, {varrive:pres, {arriveθ, Bill}}}}}
INT/EXT: {C
Q:aux(null,pst,meet), {INFL
v,
{{Bill, {v
meet:θ:pst:ext(do), {meet
θ, John}}}, {v
arrive:pres, {arrive
θ, Bill}}
}}}
EXT: null pst meet →→ Bill {[3sg,pst,meet,John],[and],[3sg,pres,arrive]}
Spellout: 3sg pst do Bill {[meet,John],[and],[arrive]}
Spellout: did Bill {[meet,John],[and],[arrive]}
Blocked: inconsistent with input!
WS 1: {arriveθ, Bill} meetθ vmeet:θ:pst:ext(do) varrive:pres INFLv John INFLv
WS 2: {varrive:pres, {arriveθ, Bill}} meetθ vmeet:θ:pst:ext(do) INFLv John INFLv [gray]
WS 3: {INFLv, {varrive:pres, {arriveθ, Bill}}} meetθ vmeet:θ:pst:ext(do) John INFLv
WS 4: {meetθ, John} {INFLv, {varrive:pres, {arriveθ, Bill}}} vmeet:θ:pst:ext(do) INFLv
WS 5: {vmeet:θ:pst:ext(do), {meetθ, John}} {INFLv, {varrive:pres, {arriveθ, Bill}}} INFLv
WS 6: {John, {vmeet:θ:pst:ext(do), {meetθ, John}}} {INFLv, {varrive:pres, {arriveθ, Bill}}} INFLv
WS 7: {INFLv, {John, {vmeet:θ:pst:ext(do), {meetθ, John}}}} {INFLv, {varrive:pres, {arriveθ, Bill}}}
WS 8: {{INFLv, {John, {vmeet:θ:pst:ext(do), {meetθ, John}}}}, {INFLv, {varrive:pres, {arriveθ, Bill}}}}
Final WS: {C, {{INFLv, {John, {vmeet:θ:pst:ext(do), {meetθ, John}}}}, {INFLv, {varrive:pres, {arriveθ, Bill}}}}}
INT/EXT: {C,
{{INFL
v, {John, {v
meet:θ:pst:ext(do), {meet
θ, John}}}}, {INFL
v, {v
arrive:pres, {arrive
θ, Bill}}}
}}
EXT: {[John,3sg,pst,meet,John],[and],[Bill,3sg,pres,arrive]}
Spellout: {[John,meeted,John],[and],[Bill,arrives]}
Blocked: inconsistent with input!
EXT: {[John,3sg,pst,meet,John],[and],[there,3sg,pres,arrive,Bill]}
Spellout: {[John,meeted,John],[and],[there,arrives,Bill]}
Blocked: inconsistent with input!
WS 1: {arriveθ, Bill} meetθ vmeet:θ:pst:ext(do) varrive:pres INFLv John INFLv
WS 2: {varrive:pres, {arriveθ, Bill}} meetθ vmeet:θ:pst:ext(do) INFLv John INFLv [gray]
WS 3: {meetθ, John} {varrive:pres, {arriveθ, Bill}} vmeet:θ:pst:ext(do) INFLv INFLv [gray]
WS 4: {meetθ, John} {INFLv, {varrive:pres, {arriveθ, Bill}}} vmeet:θ:pst:ext(do) INFLv [gray]
WS 5: {vmeet:θ:pst:ext(do), {meetθ, John}} {INFLv, {varrive:pres, {arriveθ, Bill}}} INFLv [gray]
WS 6: {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}} {INFLv, {varrive:pres, {arriveθ, Bill}}} INFLv
WS 7: {INFLv, {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}}} {INFLv, {varrive:pres, {arriveθ, Bill}}}
WS 8: {{INFLv, {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}}}, {INFLv, {varrive:pres, {arriveθ, Bill}}}}
Final WS: {C, {{INFLv, {Bill, {vmeet:θ:pst:ext(do), {meetθ, John}}}}, {INFLv, {varrive:pres, {arriveθ, Bill}}}}}
INT/EXT: {C,
{{INFL
v, {Bill, {v
meet:θ:pst:ext(do), {meet
θ, John}}}}, {INFL
v, {v
arrive:pres, {arrive
θ, Bill}}}
}}
EXT: {[Bill,3sg,pst,meet,John],[and],[Bill,3sg,pres,arrive]}
Spellout: {[Bill,meeted,John],[and],[Bill,arrives]}
Blocked: inconsistent with input!
EXT: {[Bill,3sg,pst,meet,John],[and],[there,3sg,pres,arrive,Bill]}
Spellout: {[Bill,meeted,John],[and],[there,arrives,Bill]}
Blocked: inconsistent with input!
WS 1: {arriveθ, John} Bill meetθ vmeet:θ:pst:ext(do) varrive:pres INFLv INFLv
WS 2: {varrive:pres, {arriveθ, John}} Bill meetθ vmeet:θ:pst:ext(do) INFLv INFLv
WS 3: {meetθ, Bill} {varrive:pres, {arriveθ, John}} vmeet:θ:pst:ext(do) INFLv INFLv
WS 4: {vmeet:θ:pst:ext(do), {meetθ, Bill}} {varrive:pres, {arriveθ, John}} INFLv INFLv
WS 5: {Bill, {vmeet:θ:pst:ext(do), {meetθ, Bill}}} {varrive:pres, {arriveθ, John}} INFLv INFLv
WS 6: {{Bill, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}, {varrive:pres, {arriveθ, John}}} INFLv INFLv
WS 1: {arriveθ, John} Bill meetθ vmeet:θ:pst:ext(do) varrive:pres INFLv INFLv
WS 2: {varrive:pres, {arriveθ, John}} Bill meetθ vmeet:θ:pst:ext(do) INFLv INFLv [gray]
WS 3: {meetθ, Bill} {varrive:pres, {arriveθ, John}} vmeet:θ:pst:ext(do) INFLv INFLv [gray]
WS 4: {vmeet:θ:pst:ext(do), {meetθ, Bill}} {varrive:pres, {arriveθ, John}} INFLv INFLv [gray]
WS 5: {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}} {varrive:pres, {arriveθ, John}} INFLv INFLv
WS 6: {{John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}, {varrive:pres, {arriveθ, John}}} INFLv INFLv
WS 7: {INFLv, {{John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}, {varrive:pres, {arriveθ, John}}}}
Final WS: {C, {INFLv, {{John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}, {varrive:pres, {arriveθ, John}}}}}
INT/EXT: {C, {INFL
v,
{{John, {v
meet:θ:pst:ext(do), {meet
θ, Bill}}}, {v
arrive:pres, {arrive
θ, John}}
}}}
EXT: John {[3sg,pst,meet,Bill],[and],[3sg,pres,arrive]}
Spellout: John {[meeted,Bill],[and],[arrives]}
Blocked: inconsistent with input!
Final WS: {CQ:aux(null,pst,meet), {INFLv, {{John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}, {varrive:pres, {arriveθ, John}}}}}
INT/EXT: {C
Q:aux(null,pst,meet), {INFL
v,
{{John, {v
meet:θ:pst:ext(do), {meet
θ, Bill}}}, {v
arrive:pres, {arrive
θ, John}}
}}}
EXT: null pst meet →→ John {[3sg,pst,meet,Bill],[and],[3sg,pres,arrive]}
Spellout: 3sg pst do John {[meet,Bill],[and],[arrive]}
Spellout: did John {[meet,Bill],[and],[arrive]}
Blocked: inconsistent with input!
WS 1: {arriveθ, John} Bill meetθ vmeet:θ:pst:ext(do) varrive:pres INFLv INFLv
WS 2: {varrive:pres, {arriveθ, John}} Bill meetθ vmeet:θ:pst:ext(do) INFLv INFLv [gray]
WS 3: {INFLv, {varrive:pres, {arriveθ, John}}} Bill meetθ vmeet:θ:pst:ext(do) INFLv
WS 4: {meetθ, Bill} {INFLv, {varrive:pres, {arriveθ, John}}} vmeet:θ:pst:ext(do) INFLv
WS 5: {vmeet:θ:pst:ext(do), {meetθ, Bill}} {INFLv, {varrive:pres, {arriveθ, John}}} INFLv
WS 6: {Bill, {vmeet:θ:pst:ext(do), {meetθ, Bill}}} {INFLv, {varrive:pres, {arriveθ, John}}} INFLv
WS 7: {INFLv, {Bill, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}} {INFLv, {varrive:pres, {arriveθ, John}}}
WS 8: {{INFLv, {Bill, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}}, {INFLv, {varrive:pres, {arriveθ, John}}}}
Final WS: {C, {{INFLv, {Bill, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}}, {INFLv, {varrive:pres, {arriveθ, John}}}}}
INT/EXT: {C,
{{INFL
v, {Bill, {v
meet:θ:pst:ext(do), {meet
θ, Bill}}}}, {INFL
v, {v
arrive:pres, {arrive
θ, John}}}
}}
EXT: {[Bill,3sg,pst,meet,Bill],[and],[John,3sg,pres,arrive]}
Spellout: {[Bill,meeted,Bill],[and],[John,arrives]}
Blocked: inconsistent with input!
EXT: {[Bill,3sg,pst,meet,Bill],[and],[there,3sg,pres,arrive,John]}
Spellout: {[Bill,meeted,Bill],[and],[there,arrives,John]}
Blocked: inconsistent with input!
WS 1: {arriveθ, John} Bill meetθ vmeet:θ:pst:ext(do) varrive:pres INFLv INFLv
WS 2: {varrive:pres, {arriveθ, John}} Bill meetθ vmeet:θ:pst:ext(do) INFLv INFLv [gray]
WS 3: {meetθ, Bill} {varrive:pres, {arriveθ, John}} vmeet:θ:pst:ext(do) INFLv INFLv [gray]
WS 4: {meetθ, Bill} {INFLv, {varrive:pres, {arriveθ, John}}} vmeet:θ:pst:ext(do) INFLv [gray]
WS 5: {vmeet:θ:pst:ext(do), {meetθ, Bill}} {INFLv, {varrive:pres, {arriveθ, John}}} INFLv [gray]
WS 6: {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}} {INFLv, {varrive:pres, {arriveθ, John}}} INFLv
WS 7: {INFLv, {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}} {INFLv, {varrive:pres, {arriveθ, John}}}
WS 8: {{INFLv, {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}}, {INFLv, {varrive:pres, {arriveθ, John}}}}
Final WS: {C, {{INFLv, {John, {vmeet:θ:pst:ext(do), {meetθ, Bill}}}}, {INFLv, {varrive:pres, {arriveθ, John}}}}}
INT/EXT: {C,
{{INFL
v, {John, {v
meet:θ:pst:ext(do), {meet
θ, Bill}}}}, {INFL
v, {v
arrive:pres, {arrive
θ, John}}}
}}
EXT: {[John,3sg,pst,meet,Bill],[and],[John,3sg,pres,arrive]}
Spellout: {[John,meeted,Bill],[and],[John,arrives]}
Blocked: inconsistent with input!
EXT: {[John,3sg,pst,meet,Bill],[and],[there,3sg,pres,arrive,John]}
Spellout: {[John,meeted,Bill],[and],[there,arrives,John]}
Blocked: inconsistent with input!
WS 1: {Bill, John} meetθ vmeet:θ:pst:ext(do) arriveθ varrive:pres INFLv INFLv
WS 2: {meetθ, {Bill, John}} vmeet:θ:pst:ext(do) arriveθ varrive:pres INFLv INFLv
WS 3: {vmeet:θ:pst:ext(do), {meetθ, {Bill, John}}} arriveθ varrive:pres INFLv INFLv
WS 4: {arriveθ, {Bill, John}} {vmeet:θ:pst:ext(do), {meetθ, {Bill, John}}} varrive:pres INFLv INFLv
WS 5: {varrive:pres, {arriveθ, {Bill, John}}} {vmeet:θ:pst:ext(do), {meetθ, {Bill, John}}} INFLv INFLv
WS 6: {INFLv, {varrive:pres, {arriveθ, {Bill, John}}}} {vmeet:θ:pst:ext(do), {meetθ, {Bill, John}}} INFLv
WS 1: {Bill, John} meetθ vmeet:θ:pst:ext(do) arriveθ varrive:pres INFLv INFLv
WS 2: {meetθ, {Bill, John}} vmeet:θ:pst:ext(do) arriveθ varrive:pres INFLv INFLv [gray]
WS 3: {vmeet:θ:pst:ext(do), {meetθ, {Bill, John}}} arriveθ varrive:pres INFLv INFLv [gray]
WS 4: {{Bill, John}, {vmeet:θ:pst:ext(do), {meetθ, {Bill, John}}}} arriveθ varrive:pres INFLv INFLv
WS 5: {INFLv, {{Bill, John}, {vmeet:θ:pst:ext(do), {meetθ, {Bill, John}}}}} arriveθ varrive:pres INFLv
WS 1: {Bill, John} meetθ vmeet:θ:pst:ext(do) arriveθ varrive:pres INFLv INFLv
WS 2: {arriveθ, {Bill, John}} meetθ vmeet:θ:pst:ext(do) varrive:pres INFLv INFLv
WS 3: {varrive:pres, {arriveθ, {Bill, John}}} meetθ vmeet:θ:pst:ext(do) INFLv INFLv
WS 4: {meetθ, {Bill, John}} {varrive:pres, {arriveθ, {Bill, John}}} vmeet:θ:pst:ext(do) INFLv INFLv
WS 5: {vmeet:θ:pst:ext(do), {meetθ, {Bill, John}}} {varrive:pres, {arriveθ, {Bill, John}}} INFLv INFLv
WS 1: {Bill, John} meetθ vmeet:θ:pst:ext(do) arriveθ varrive:pres INFLv INFLv
WS 2: {meetθ, {Bill, John}} vmeet:θ:pst:ext(do) arriveθ varrive:pres INFLv INFLv [gray]
WS 3: {varrive:pres, {arriveθ, {Bill, John}}} meetθ vmeet:θ:pst:ext(do) INFLv INFLv [gray]
WS 4: {INFLv, {varrive:pres, {arriveθ, {Bill, John}}}} meetθ vmeet:θ:pst:ext(do) INFLv
WS 5: {meetθ, {Bill, John}} {INFLv, {varrive:pres, {arriveθ, {Bill, John}}}} vmeet:θ:pst:ext(do) INFLv
WS 6: {vmeet:θ:pst:ext(do), {meetθ, {Bill, John}}} {INFLv, {varrive:pres, {arriveθ, {Bill, John}}}} INFLv
Initial WS 2: Bill meetθ vmeet:θ:pres INFLv arriveθ varrive:pst:ext(do) John INFLv
WS 1: {meetθ, Bill} vmeet:θ:pres INFLv arriveθ varrive:pst:ext(do) John INFLv
WS 2: {vmeet:θ:pres, {meetθ, Bill}} INFLv arriveθ varrive:pst:ext(do) John INFLv
WS 3: {arriveθ, John} {vmeet:θ:pres, {meetθ, Bill}} INFLv varrive:pst:ext(do) INFLv
WS 4: {varrive:pst:ext(do), {arriveθ, John}} {vmeet:θ:pres, {meetθ, Bill}} INFLv INFLv
WS 5: {John, {vmeet:θ:pres, {meetθ, Bill}}} {varrive:pst:ext(do), {arriveθ, John}} INFLv INFLv
WS 6: {INFLv, {John, {vmeet:θ:pres, {meetθ, Bill}}}} {varrive:pst:ext(do), {arriveθ, John}} INFLv
WS 1: {meetθ, Bill} vmeet:θ:pres INFLv arriveθ varrive:pst:ext(do) John INFLv
WS 2: {vmeet:θ:pres, {meetθ, Bill}} INFLv arriveθ varrive:pst:ext(do) John INFLv [gray]
WS 3: {arriveθ, John} {vmeet:θ:pres, {meetθ, Bill}} INFLv varrive:pst:ext(do) INFLv [gray]
WS 4: {varrive:pst:ext(do), {arriveθ, John}} {vmeet:θ:pres, {meetθ, Bill}} INFLv INFLv [gray]
WS 5: {John, {vmeet:θ:pres, {meetθ, Bill}}} {varrive:pst:ext(do), {arriveθ, John}} INFLv INFLv [gray]
WS 6: {{John, {vmeet:θ:pres, {meetθ, Bill}}}, {varrive:pst:ext(do), {arriveθ, John}}} INFLv INFLv
WS 7: {INFLv, {{John, {vmeet:θ:pres, {meetθ, Bill}}}, {varrive:pst:ext(do), {arriveθ, John}}}}
Final WS: {C, {INFLv, {{John, {vmeet:θ:pres, {meetθ, Bill}}}, {varrive:pst:ext(do), {arriveθ, John}}}}}
INT/EXT: {C, {INFL
v,
{{John, {v
meet:θ:pres, {meet
θ, Bill}}}, {v
arrive:pst:ext(do), {arrive
θ, John}}
}}}
EXT: John {[3sg,pres,meet,Bill],[and],[3sg,pst,arrive]}
Spellout: John {[meets,Bill],[and],[arrived]}
Blocked: inconsistent with input!
Final WS: {CQ:aux(null,pst,arrive), {INFLv, {{John, {vmeet:θ:pres, {meetθ, Bill}}}, {varrive:pst:ext(do), {arriveθ, John}}}}}
INT/EXT: {C
Q:aux(null,pst,arrive), {INFL
v,
{{John, {v
meet:θ:pres, {meet
θ, Bill}}}, {v
arrive:pst:ext(do), {arrive
θ, John}}
}}}
EXT: null pst arrive →→ John {[3sg,pres,meet,Bill],[and],[3sg,pst,arrive]}
Spellout: null pst arrive John {[3sg,pres,meet,Bill],[and],[3sg,pst,arrive]}
Blocked: inconsistent with input!
WS 1: {meetθ, Bill} vmeet:θ:pres INFLv arriveθ varrive:pst:ext(do) John INFLv
WS 2: {vmeet:θ:pres, {meetθ, Bill}} INFLv arriveθ varrive:pst:ext(do) John INFLv [gray]
WS 3: {arriveθ, John} {vmeet:θ:pres, {meetθ, Bill}} INFLv varrive:pst:ext(do) INFLv [gray]
WS 4: {varrive:pst:ext(do), {arriveθ, John}} {vmeet:θ:pres, {meetθ, Bill}} INFLv INFLv [gray]
WS 5: {Bill, {vmeet:θ:pres, {meetθ, Bill}}} {varrive:pst:ext(do), {arriveθ, John}} INFLv INFLv
WS 6: {INFLv, {Bill, {vmeet:θ:pres, {meetθ, Bill}}}} {varrive:pst:ext(do), {arriveθ, John}} INFLv
WS 1: {meetθ, Bill} vmeet:θ:pres INFLv arriveθ varrive:pst:ext(do) John INFLv
WS 2: {vmeet:θ:pres, {meetθ, Bill}} INFLv arriveθ varrive:pst:ext(do) John INFLv [gray]
WS 3: {arriveθ, John} {vmeet:θ:pres, {meetθ, Bill}} INFLv varrive:pst:ext(do) INFLv [gray]
WS 4: {varrive:pst:ext(do), {arriveθ, John}} {vmeet:θ:pres, {meetθ, Bill}} INFLv INFLv [gray]
WS 5: {John, {vmeet:θ:pres, {meetθ, Bill}}} {varrive:pst:ext(do), {arriveθ, John}} INFLv INFLv [gray]
WS 6: {{Bill, {vmeet:θ:pres, {meetθ, Bill}}}, {varrive:pst:ext(do), {arriveθ, John}}} INFLv INFLv
WS 1: {meetθ, Bill} vmeet:θ:pres INFLv arriveθ varrive:pst:ext(do) John INFLv
WS 2: {vmeet:θ:pres, {meetθ, Bill}} INFLv arriveθ varrive:pst:ext(do) John INFLv [gray]
WS 3: {arriveθ, John} {vmeet:θ:pres, {meetθ, Bill}} INFLv varrive:pst:ext(do) INFLv [gray]
WS 4: {varrive:pst:ext(do), {arriveθ, John}} {vmeet:θ:pres, {meetθ, Bill}} INFLv INFLv [gray]
WS 5: {INFLv, {varrive:pst:ext(do), {arriveθ, John}}} {vmeet:θ:pres, {meetθ, Bill}} INFLv
WS 6: {John, {vmeet:θ:pres, {meetθ, Bill}}} {INFLv, {varrive:pst:ext(do), {arriveθ, John}}} INFLv
WS 7: {INFLv, {John, {vmeet:θ:pres, {meetθ, Bill}}}} {INFLv, {varrive:pst:ext(do), {arriveθ, John}}}
WS 8: {{INFLv, {John, {vmeet:θ:pres, {meetθ, Bill}}}}, {INFLv, {varrive:pst:ext(do), {arriveθ, John}}}}
Final WS: {C, {{INFLv, {John, {vmeet:θ:pres, {meetθ, Bill}}}}, {INFLv, {varrive:pst:ext(do), {arriveθ, John}}}}}
INT/EXT: {C,
{{INFL
v, {John, {v
meet:θ:pres, {meet
θ, Bill}}}}, {INFL
v, {v
arrive:pst:ext(do), {arrive
θ, John}}}
}}
EXT: {[John,3sg,pres,meet,Bill],[and],[John,3sg,pst,arrive]}
Spellout: {[John,meets,Bill],[and],[John,arrived]}
Blocked: inconsistent with input!
EXT: {[John,3sg,pres,meet,Bill],[and],[there,3sg,pst,arrive,John]}
Spellout: {[John,meets,Bill],[and],[there,arrived,John]}
Blocked: inconsistent with input!
WS 1: {meetθ, Bill} vmeet:θ:pres INFLv arriveθ varrive:pst:ext(do) John INFLv
WS 2: {vmeet:θ:pres, {meetθ, Bill}} INFLv arriveθ varrive:pst:ext(do) John INFLv [gray]
WS 3: {arriveθ, John} {vmeet:θ:pres, {meetθ, Bill}} INFLv varrive:pst:ext(do) INFLv [gray]
WS 4: {varrive:pst:ext(do), {arriveθ, John}} {vmeet:θ:pres, {meetθ, Bill}} INFLv INFLv [gray]
WS 5: {John, {vmeet:θ:pres, {meetθ, Bill}}} {varrive:pst:ext(do), {arriveθ, John}} INFLv INFLv [gray]
WS 6: {Bill, {vmeet:θ:pres, {meetθ, Bill}}} {INFLv, {varrive:pst:ext(do), {arriveθ, John}}} INFLv
WS 7: {INFLv, {Bill, {vmeet:θ:pres, {meetθ, Bill}}}} {INFLv, {varrive:pst:ext(do), {arriveθ, John}}}
WS 8: {{INFLv, {Bill, {vmeet:θ:pres, {meetθ, Bill}}}}, {INFLv, {varrive:pst:ext(do), {arriveθ, John}}}}
Final WS: {C, {{INFLv, {Bill, {vmeet:θ:pres, {meetθ, Bill}}}}, {INFLv, {varrive:pst:ext(do), {arriveθ, John}}}}}
INT/EXT: {C,
{{INFL
v, {Bill, {v
meet:θ:pres, {meet
θ, Bill}}}}, {INFL
v, {v
arrive:pst:ext(do), {arrive
θ, John}}}
}}
EXT: {[Bill,3sg,pres,meet,Bill],[and],[John,3sg,pst,arrive]}
Spellout: {[Bill,meets,Bill],[and],[John,arrived]}
Blocked: inconsistent with input!
EXT: {[Bill,3sg,pres,meet,Bill],[and],[there,3sg,pst,arrive,John]}
Spellout: {[Bill,meets,Bill],[and],[there,arrived,John]}
Blocked: inconsistent with input!
WS 1: {meetθ, Bill} vmeet:θ:pres INFLv arriveθ varrive:pst:ext(do) John INFLv
WS 2: {vmeet:θ:pres, {meetθ, Bill}} INFLv arriveθ varrive:pst:ext(do) John INFLv [gray]
WS 3: {John, {vmeet:θ:pres, {meetθ, Bill}}} INFLv arriveθ varrive:pst:ext(do) INFLv
WS 4: {arriveθ, John} {John, {vmeet:θ:pres, {meetθ, Bill}}} INFLv varrive:pst:ext(do) INFLv
WS 5: {varrive:pst:ext(do), {arriveθ, John}} {John, {vmeet:θ:pres, {meetθ, Bill}}} INFLv INFLv
WS 6: {{varrive:pst:ext(do), {arriveθ, John}}, {John, {vmeet:θ:pres, {meetθ, Bill}}}} INFLv INFLv
WS 7: {INFLv, {{varrive:pst:ext(do), {arriveθ, John}}, {John, {vmeet:θ:pres, {meetθ, Bill}}}}}
Final WS: {C, {INFLv, {{varrive:pst:ext(do), {arriveθ, John}}, {John, {vmeet:θ:pres, {meetθ, Bill}}}}}}
INT/EXT: {C, {INFL
v,
{{v
arrive:pst:ext(do), {arrive
θ, John}}, {John, {v
meet:θ:pres, {meet
θ, Bill}}}
}}}
EXT: John {[3sg,pst,arrive],[and],[3sg,pres,meet,Bill]}
Spellout: John {[arrived],[and],[meets,Bill]}
Blocked: inconsistent with input!
Final WS: {CQ:aux(null,pst,arrive), {INFLv, {{varrive:pst:ext(do), {arriveθ, John}}, {John, {vmeet:θ:pres, {meetθ, Bill}}}}}}
INT/EXT: {C
Q:aux(null,pst,arrive), {INFL
v,
{{v
arrive:pst:ext(do), {arrive
θ, John}}, {John, {v
meet:θ:pres, {meet
θ, Bill}}}
}}}
EXT: null pst arrive →→ John {[3sg,pst,arrive],[and],[3sg,pres,meet,Bill]}
Spellout: 3sg pst do John {[arrive],[and],[meet,Bill]}
Spellout: did John {[arrive],[and],[meet,Bill]}
Parse found: null pst arrive →→ John {[3sg,pst,arrive],[and],[3sg,pres,meet,Bill]}
WS 1: {meetθ, Bill} vmeet:θ:pres INFLv arriveθ varrive:pst:ext(do) John INFLv
WS 2: {vmeet:θ:pres, {meetθ, Bill}} INFLv arriveθ varrive:pst:ext(do) John INFLv [gray]
WS 3: {arriveθ, John} {vmeet:θ:pres, {meetθ, Bill}} INFLv varrive:pst:ext(do) INFLv [gray]
WS 4: {arriveθ, Bill} {John, {vmeet:θ:pres, {meetθ, Bill}}} INFLv varrive:pst:ext(do) INFLv
WS 5: {varrive:pst:ext(do), {arriveθ, Bill}} {John, {vmeet:θ:pres, {meetθ, Bill}}} INFLv INFLv
WS 6: {{varrive:pst:ext(do), {arriveθ, Bill}}, {John, {vmeet:θ:pres, {meetθ, Bill}}}} INFLv INFLv
WS 1: {meetθ, Bill} vmeet:θ:pres INFLv arriveθ varrive:pst:ext(do) John INFLv
WS 2: {vmeet:θ:pres, {meetθ, Bill}} INFLv arriveθ varrive:pst:ext(do) John INFLv [gray]
WS 3: {arriveθ, John} {vmeet:θ:pres, {meetθ, Bill}} INFLv varrive:pst:ext(do) INFLv [gray]
WS 4: {INFLv, {John, {vmeet:θ:pres, {meetθ, Bill}}}} arriveθ varrive:pst:ext(do) INFLv
WS 5: {arriveθ, John} {INFLv, {John, {vmeet:θ:pres, {meetθ, Bill}}}} varrive:pst:ext(do) INFLv
WS 6: {varrive:pst:ext(do), {arriveθ, John}} {INFLv, {John, {vmeet:θ:pres, {meetθ, Bill}}}} INFLv
WS 7: {INFLv, {varrive:pst:ext(do), {arriveθ, John}}} {INFLv, {John, {vmeet:θ:pres, {meetθ, Bill}}}}
WS 8: {{INFLv, {varrive:pst:ext(do), {arriveθ, John}}}, {INFLv, {John, {vmeet:θ:pres, {meetθ, Bill}}}}}
Final WS: {C, {{INFLv, {varrive:pst:ext(do), {arriveθ, John}}}, {INFLv, {John, {vmeet:θ:pres, {meetθ, Bill}}}}}}
INT/EXT: {C,
{{INFL
v, {v
arrive:pst:ext(do), {arrive
θ, John}}}, {INFL
v, {John, {v
meet:θ:pres, {meet
θ, Bill}}}}
}}
EXT: {[John,3sg,pst,arrive],[and],[John,3sg,pres,meet,Bill]}
Spellout: {[John,arrived],[and],[John,meets,Bill]}
Blocked: inconsistent with input!
EXT: {[there,3sg,pst,arrive,John],[and],[John,3sg,pres,meet,Bill]}
Spellout: {[there,arrived,John],[and],[John,meets,Bill]}
Blocked: inconsistent with input!
WS 1: {meetθ, Bill} vmeet:θ:pres INFLv arriveθ varrive:pst:ext(do) John INFLv
WS 2: {vmeet:θ:pres, {meetθ, Bill}} INFLv arriveθ varrive:pst:ext(do) John INFLv [gray]
WS 3: {arriveθ, John} {vmeet:θ:pres, {meetθ, Bill}} INFLv varrive:pst:ext(do) INFLv [gray]
WS 4: {arriveθ, John} {John, {vmeet:θ:pres, {meetθ, Bill}}} INFLv varrive:pst:ext(do) INFLv [gray]
WS 5: {arriveθ, Bill} {INFLv, {John, {vmeet:θ:pres, {meetθ, Bill}}}} varrive:pst:ext(do) INFLv
WS 6: {varrive:pst:ext(do), {arriveθ, Bill}} {INFLv, {John, {vmeet:θ:pres, {meetθ, Bill}}}} INFLv
WS 7: {INFLv, {varrive:pst:ext(do), {arriveθ, Bill}}} {INFLv, {John, {vmeet:θ:pres, {meetθ, Bill}}}}
WS 8: {{INFLv, {varrive:pst:ext(do), {arriveθ, Bill}}}, {INFLv, {John, {vmeet:θ:pres, {meetθ, Bill}}}}}
Final WS: {C, {{INFLv, {varrive:pst:ext(do), {arriveθ, Bill}}}, {INFLv, {John, {vmeet:θ:pres, {meetθ, Bill}}}}}}
INT/EXT: {C,
{{INFL
v, {v
arrive:pst:ext(do), {arrive
θ, Bill}}}, {INFL
v, {John, {v
meet:θ:pres, {meet
θ, Bill}}}}
}}
EXT: {[Bill,3sg,pst,arrive],[and],[John,3sg,pres,meet,Bill]}
Spellout: {[Bill,arrived],[and],[John,meets,Bill]}
Blocked: inconsistent with input!
EXT: {[there,3sg,pst,arrive,Bill],[and],[John,3sg,pres,meet,Bill]}
Spellout: {[there,arrived,Bill],[and],[John,meets,Bill]}
Blocked: inconsistent with input!
WS 1: {meetθ, John} Bill vmeet:θ:pres INFLv arriveθ varrive:pst:ext(do) INFLv
WS 2: {vmeet:θ:pres, {meetθ, John}} Bill INFLv arriveθ varrive:pst:ext(do) INFLv
WS 3: {arriveθ, Bill} {vmeet:θ:pres, {meetθ, John}} INFLv varrive:pst:ext(do) INFLv
WS 4: {varrive:pst:ext(do), {arriveθ, Bill}} {vmeet:θ:pres, {meetθ, John}} INFLv INFLv
WS 5: {Bill, {vmeet:θ:pres, {meetθ, John}}} {varrive:pst:ext(do), {arriveθ, Bill}} INFLv INFLv
WS 6: {INFLv, {Bill, {vmeet:θ:pres, {meetθ, John}}}} {varrive:pst:ext(do), {arriveθ, Bill}} INFLv
WS 1: {meetθ, John} Bill vmeet:θ:pres INFLv arriveθ varrive:pst:ext(do) INFLv
WS 2: {vmeet:θ:pres, {meetθ, John}} Bill INFLv arriveθ varrive:pst:ext(do) INFLv [gray]
WS 3: {arriveθ, Bill} {vmeet:θ:pres, {meetθ, John}} INFLv varrive:pst:ext(do) INFLv [gray]
WS 4: {varrive:pst:ext(do), {arriveθ, Bill}} {vmeet:θ:pres, {meetθ, John}} INFLv INFLv [gray]
WS 5: {Bill, {vmeet:θ:pres, {meetθ, John}}} {varrive:pst:ext(do), {arriveθ, Bill}} INFLv INFLv [gray]
WS 6: {{Bill, {vmeet:θ:pres, {meetθ, John}}}, {varrive:pst:ext(do), {arriveθ, Bill}}} INFLv INFLv
WS 7: {INFLv, {{Bill, {vmeet:θ:pres, {meetθ, John}}}, {varrive:pst:ext(do), {arriveθ, Bill}}}}
Final WS: {C, {INFLv, {{Bill, {vmeet:θ:pres, {meetθ, John}}}, {varrive:pst:ext(do), {arriveθ, Bill}}}}}
INT/EXT: {C, {INFL
v,
{{Bill, {v
meet:θ:pres, {meet
θ, John}}}, {v
arrive:pst:ext(do), {arrive
θ, Bill}}
}}}
EXT: Bill {[3sg,pres,meet,John],[and],[3sg,pst,arrive]}
Spellout: Bill {[meets,John],[and],[arrived]}
Blocked: inconsistent with input!
Final WS: {CQ:aux(null,pst,arrive), {INFLv, {{Bill, {vmeet:θ:pres, {meetθ, John}}}, {varrive:pst:ext(do), {arriveθ, Bill}}}}}
INT/EXT: {C
Q:aux(null,pst,arrive), {INFL
v,
{{Bill, {v
meet:θ:pres, {meet
θ, John}}}, {v
arrive:pst:ext(do), {arrive
θ, Bill}}
}}}
EXT: null pst arrive →→ Bill {[3sg,pres,meet,John],[and],[3sg,pst,arrive]}
Spellout: null pst arrive Bill {[3sg,pres,meet,John],[and],[3sg,pst,arrive]}
Blocked: inconsistent with input!
WS 1: {meetθ, John} Bill vmeet:θ:pres INFLv arriveθ varrive:pst:ext(do) INFLv
WS 2: {vmeet:θ:pres, {meetθ, John}} Bill INFLv arriveθ varrive:pst:ext(do) INFLv [gray]
WS 3: {arriveθ, Bill} {vmeet:θ:pres, {meetθ, John}} INFLv varrive:pst:ext(do) INFLv [gray]
WS 4: {varrive:pst:ext(do), {arriveθ, Bill}} {vmeet:θ:pres, {meetθ, John}} INFLv INFLv [gray]
WS 5: {John, {vmeet:θ:pres, {meetθ, John}}} {varrive:pst:ext(do), {arriveθ, Bill}} INFLv INFLv
WS 6: {INFLv, {John, {vmeet:θ:pres, {meetθ, John}}}} {varrive:pst:ext(do), {arriveθ, Bill}} INFLv
WS 1: {meetθ, John} Bill vmeet:θ:pres INFLv arriveθ varrive:pst:ext(do) INFLv
WS 2: {vmeet:θ:pres, {meetθ, John}} Bill INFLv arriveθ varrive:pst:ext(do) INFLv [gray]
WS 3: {arriveθ, Bill} {vmeet:θ:pres, {meetθ, John}} INFLv varrive:pst:ext(do) INFLv [gray]
WS 4: {varrive:pst:ext(do), {arriveθ, Bill}} {vmeet:θ:pres, {meetθ, John}} INFLv INFLv [gray]
WS 5: {Bill, {vmeet:θ:pres, {meetθ, John}}} {varrive:pst:ext(do), {arriveθ, Bill}} INFLv INFLv [gray]
WS 6: {{John, {vmeet:θ:pres, {meetθ, John}}}, {varrive:pst:ext(do), {arriveθ, Bill}}} INFLv INFLv
WS 1: {meetθ, John} Bill vmeet:θ:pres INFLv arriveθ varrive:pst:ext(do) INFLv
WS 2: {vmeet:θ:pres, {meetθ, John}} Bill INFLv arriveθ varrive:pst:ext(do) INFLv [gray]
WS 3: {arriveθ, Bill} {vmeet:θ:pres, {meetθ, John}} INFLv varrive:pst:ext(do) INFLv [gray]
WS 4: {varrive:pst:ext(do), {arriveθ, Bill}} {vmeet:θ:pres, {meetθ, John}} INFLv INFLv [gray]
WS 5: {INFLv, {varrive:pst:ext(do), {arriveθ, Bill}}} {vmeet:θ:pres, {meetθ, John}} INFLv
WS 6: {Bill, {vmeet:θ:pres, {meetθ, John}}} {INFLv, {varrive:pst:ext(do), {arriveθ, Bill}}} INFLv
WS 7: {INFLv, {Bill, {vmeet:θ:pres, {meetθ, John}}}} {INFLv, {varrive:pst:ext(do), {arriveθ, Bill}}}
WS 8: {{INFLv, {Bill, {vmeet:θ:pres, {meetθ, John}}}}, {INFLv, {varrive:pst:ext(do), {arriveθ, Bill}}}}
Final WS: {C, {{INFLv, {Bill, {vmeet:θ:pres, {meetθ, John}}}}, {INFLv, {varrive:pst:ext(do), {arriveθ, Bill}}}}}
INT/EXT: {C,
{{INFL
v, {Bill, {v
meet:θ:pres, {meet
θ, John}}}}, {INFL
v, {v
arrive:pst:ext(do), {arrive
θ, Bill}}}
}}
EXT: {[Bill,3sg,pres,meet,John],[and],[Bill,3sg,pst,arrive]}
Spellout: {[Bill,meets,John],[and],[Bill,arrived]}
Blocked: inconsistent with input!
EXT: {[Bill,3sg,pres,meet,John],[and],[there,3sg,pst,arrive,Bill]}
Spellout: {[Bill,meets,John],[and],[there,arrived,Bill]}
Blocked: inconsistent with input!
WS 1: {meetθ, John} Bill vmeet:θ:pres INFLv arriveθ varrive:pst:ext(do) INFLv
WS 2: {vmeet:θ:pres, {meetθ, John}} Bill INFLv arriveθ varrive:pst:ext(do) INFLv [gray]
WS 3: {arriveθ, Bill} {vmeet:θ:pres, {meetθ, John}} INFLv varrive:pst:ext(do) INFLv [gray]
WS 4: {varrive:pst:ext(do), {arriveθ, Bill}} {vmeet:θ:pres, {meetθ, John}} INFLv INFLv [gray]
WS 5: {Bill, {vmeet:θ:pres, {meetθ, John}}} {varrive:pst:ext(do), {arriveθ, Bill}} INFLv INFLv [gray]
WS 6: {John, {vmeet:θ:pres, {meetθ, John}}} {INFLv, {varrive:pst:ext(do), {arriveθ, Bill}}} INFLv
WS 7: {INFLv, {John, {vmeet:θ:pres, {meetθ, John}}}} {INFLv, {varrive:pst:ext(do), {arriveθ, Bill}}}
WS 8: {{INFLv, {John, {vmeet:θ:pres, {meetθ, John}}}}, {INFLv, {varrive:pst:ext(do), {arriveθ, Bill}}}}
Final WS: {C, {{INFLv, {John, {vmeet:θ:pres, {meetθ, John}}}}, {INFLv, {varrive:pst:ext(do), {arriveθ, Bill}}}}}
INT/EXT: {C,
{{INFL
v, {John, {v
meet:θ:pres, {meet
θ, John}}}}, {INFL
v, {v
arrive:pst:ext(do), {arrive
θ, Bill}}}
}}
EXT: {[John,3sg,pres,meet,John],[and],[Bill,3sg,pst,arrive]}
Spellout: {[John,meets,John],[and],[Bill,arrived]}
Blocked: inconsistent with input!
EXT: {[John,3sg,pres,meet,John],[and],[there,3sg,pst,arrive,Bill]}
Spellout: {[John,meets,John],[and],[there,arrived,Bill]}
Blocked: inconsistent with input!
WS 1: {meetθ, John} Bill vmeet:θ:pres INFLv arriveθ varrive:pst:ext(do) INFLv
WS 2: {vmeet:θ:pres, {meetθ, John}} Bill INFLv arriveθ varrive:pst:ext(do) INFLv [gray]
WS 3: {Bill, {vmeet:θ:pres, {meetθ, John}}} INFLv arriveθ varrive:pst:ext(do) INFLv
WS 4: {arriveθ, Bill} {Bill, {vmeet:θ:pres, {meetθ, John}}} INFLv varrive:pst:ext(do) INFLv
WS 5: {varrive:pst:ext(do), {arriveθ, Bill}} {Bill, {vmeet:θ:pres, {meetθ, John}}} INFLv INFLv
WS 6: {{varrive:pst:ext(do), {arriveθ, Bill}}, {Bill, {vmeet:θ:pres, {meetθ, John}}}} INFLv INFLv
WS 7: {INFLv, {{varrive:pst:ext(do), {arriveθ, Bill}}, {Bill, {vmeet:θ:pres, {meetθ, John}}}}}
Final WS: {C, {INFLv, {{varrive:pst:ext(do), {arriveθ, Bill}}, {Bill, {vmeet:θ:pres, {meetθ, John}}}}}}
INT/EXT: {C, {INFL
v,
{{v
arrive:pst:ext(do), {arrive
θ, Bill}}, {Bill, {v
meet:θ:pres, {meet
θ, John}}}
}}}
EXT: Bill {[3sg,pst,arrive],[and],[3sg,pres,meet,John]}
Spellout: Bill {[arrived],[and],[meets,John]}
Blocked: inconsistent with input!
Final WS: {CQ:aux(null,pst,arrive), {INFLv, {{varrive:pst:ext(do), {arriveθ, Bill}}, {Bill, {vmeet:θ:pres, {meetθ, John}}}}}}
INT/EXT: {C
Q:aux(null,pst,arrive), {INFL
v,
{{v
arrive:pst:ext(do), {arrive
θ, Bill}}, {Bill, {v
meet:θ:pres, {meet
θ, John}}}
}}}
EXT: null pst arrive →→ Bill {[3sg,pst,arrive],[and],[3sg,pres,meet,John]}
Spellout: 3sg pst do Bill {[arrive],[and],[meet,John]}
Spellout: did Bill {[arrive],[and],[meet,John]}
Blocked: inconsistent with input!
WS 1: {meetθ, John} Bill vmeet:θ:pres INFLv arriveθ varrive:pst:ext(do) INFLv
WS 2: {vmeet:θ:pres, {meetθ, John}} Bill INFLv arriveθ varrive:pst:ext(do) INFLv [gray]
WS 3: {arriveθ, Bill} {vmeet:θ:pres, {meetθ, John}} INFLv varrive:pst:ext(do) INFLv [gray]
WS 4: {arriveθ, John} {Bill, {vmeet:θ:pres, {meetθ, John}}} INFLv varrive:pst:ext(do) INFLv
WS 5: {varrive:pst:ext(do), {arriveθ, John}} {Bill, {vmeet:θ:pres, {meetθ, John}}} INFLv INFLv
WS 6: {{varrive:pst:ext(do), {arriveθ, John}}, {Bill, {vmeet:θ:pres, {meetθ, John}}}} INFLv INFLv
WS 1: {meetθ, John} Bill vmeet:θ:pres INFLv arriveθ varrive:pst:ext(do) INFLv
WS 2: {vmeet:θ:pres, {meetθ, John}} Bill INFLv arriveθ varrive:pst:ext(do) INFLv [gray]
WS 3: {arriveθ, Bill} {vmeet:θ:pres, {meetθ, John}} INFLv varrive:pst:ext(do) INFLv [gray]
WS 4: {INFLv, {Bill, {vmeet:θ:pres, {meetθ, John}}}} arriveθ varrive:pst:ext(do) INFLv
WS 5: {arriveθ, Bill} {INFLv, {Bill, {vmeet:θ:pres, {meetθ, John}}}} varrive:pst:ext(do) INFLv
WS 6: {varrive:pst:ext(do), {arriveθ, Bill}} {INFLv, {Bill, {vmeet:θ:pres, {meetθ, John}}}} INFLv
WS 7: {INFLv, {varrive:pst:ext(do), {arriveθ, Bill}}} {INFLv, {Bill, {vmeet:θ:pres, {meetθ, John}}}}
WS 8: {{INFLv, {varrive:pst:ext(do), {arriveθ, Bill}}}, {INFLv, {Bill, {vmeet:θ:pres, {meetθ, John}}}}}
Final WS: {C, {{INFLv, {varrive:pst:ext(do), {arriveθ, Bill}}}, {INFLv, {Bill, {vmeet:θ:pres, {meetθ, John}}}}}}
INT/EXT: {C,
{{INFL
v, {v
arrive:pst:ext(do), {arrive
θ, Bill}}}, {INFL
v, {Bill, {v
meet:θ:pres, {meet
θ, John}}}}
}}
EXT: {[Bill,3sg,pst,arrive],[and],[Bill,3sg,pres,meet,John]}
Spellout: {[Bill,arrived],[and],[Bill,meets,John]}
Blocked: inconsistent with input!
EXT: {[there,3sg,pst,arrive,Bill],[and],[Bill,3sg,pres,meet,John]}
Spellout: {[there,arrived,Bill],[and],[Bill,meets,John]}
Blocked: inconsistent with input!
WS 1: {meetθ, John} Bill vmeet:θ:pres INFLv arriveθ varrive:pst:ext(do) INFLv
WS 2: {vmeet:θ:pres, {meetθ, John}} Bill INFLv arriveθ varrive:pst:ext(do) INFLv [gray]
WS 3: {arriveθ, Bill} {vmeet:θ:pres, {meetθ, John}} INFLv varrive:pst:ext(do) INFLv [gray]
WS 4: {arriveθ, Bill} {Bill, {vmeet:θ:pres, {meetθ, John}}} INFLv varrive:pst:ext(do) INFLv [gray]
WS 5: {arriveθ, John} {INFLv, {Bill, {vmeet:θ:pres, {meetθ, John}}}} varrive:pst:ext(do) INFLv
WS 6: {varrive:pst:ext(do), {arriveθ, John}} {INFLv, {Bill, {vmeet:θ:pres, {meetθ, John}}}} INFLv
WS 7: {INFLv, {varrive:pst:ext(do), {arriveθ, John}}} {INFLv, {Bill, {vmeet:θ:pres, {meetθ, John}}}}
WS 8: {{INFLv, {varrive:pst:ext(do), {arriveθ, John}}}, {INFLv, {Bill, {vmeet:θ:pres, {meetθ, John}}}}}
Final WS: {C, {{INFLv, {varrive:pst:ext(do), {arriveθ, John}}}, {INFLv, {Bill, {vmeet:θ:pres, {meetθ, John}}}}}}
INT/EXT: {C,
{{INFL
v, {v
arrive:pst:ext(do), {arrive
θ, John}}}, {INFL
v, {Bill, {v
meet:θ:pres, {meet
θ, John}}}}
}}
EXT: {[John,3sg,pst,arrive],[and],[Bill,3sg,pres,meet,John]}
Spellout: {[John,arrived],[and],[Bill,meets,John]}
Blocked: inconsistent with input!
EXT: {[there,3sg,pst,arrive,John],[and],[Bill,3sg,pres,meet,John]}
Spellout: {[there,arrived,John],[and],[Bill,meets,John]}
Blocked: inconsistent with input!
WS 1: {arriveθ, Bill} meetθ vmeet:θ:pres INFLv varrive:pst:ext(do) John INFLv
WS 2: {varrive:pst:ext(do), {arriveθ, Bill}} meetθ vmeet:θ:pres INFLv John INFLv
WS 3: {meetθ, John} {varrive:pst:ext(do), {arriveθ, Bill}} vmeet:θ:pres INFLv INFLv
WS 4: {vmeet:θ:pres, {meetθ, John}} {varrive:pst:ext(do), {arriveθ, Bill}} INFLv INFLv
WS 5: {John, {vmeet:θ:pres, {meetθ, John}}} {varrive:pst:ext(do), {arriveθ, Bill}} INFLv INFLv
WS 6: {INFLv, {John, {vmeet:θ:pres, {meetθ, John}}}} {varrive:pst:ext(do), {arriveθ, Bill}} INFLv
WS 1: {arriveθ, Bill} meetθ vmeet:θ:pres INFLv varrive:pst:ext(do) John INFLv
WS 2: {varrive:pst:ext(do), {arriveθ, Bill}} meetθ vmeet:θ:pres INFLv John INFLv [gray]
WS 3: {meetθ, John} {varrive:pst:ext(do), {arriveθ, Bill}} vmeet:θ:pres INFLv INFLv [gray]
WS 4: {vmeet:θ:pres, {meetθ, John}} {varrive:pst:ext(do), {arriveθ, Bill}} INFLv INFLv [gray]
WS 5: {John, {vmeet:θ:pres, {meetθ, John}}} {varrive:pst:ext(do), {arriveθ, Bill}} INFLv INFLv [gray]
WS 6: {{John, {vmeet:θ:pres, {meetθ, John}}}, {varrive:pst:ext(do), {arriveθ, Bill}}} INFLv INFLv
WS 1: {arriveθ, Bill} meetθ vmeet:θ:pres INFLv varrive:pst:ext(do) John INFLv
WS 2: {varrive:pst:ext(do), {arriveθ, Bill}} meetθ vmeet:θ:pres INFLv John INFLv [gray]
WS 3: {meetθ, John} {varrive:pst:ext(do), {arriveθ, Bill}} vmeet:θ:pres INFLv INFLv [gray]
WS 4: {vmeet:θ:pres, {meetθ, John}} {varrive:pst:ext(do), {arriveθ, Bill}} INFLv INFLv [gray]
WS 5: {Bill, {vmeet:θ:pres, {meetθ, John}}} {varrive:pst:ext(do), {arriveθ, Bill}} INFLv INFLv
WS 6: {INFLv, {Bill, {vmeet:θ:pres, {meetθ, John}}}} {varrive:pst:ext(do), {arriveθ, Bill}} INFLv
WS 1: {arriveθ, Bill} meetθ vmeet:θ:pres INFLv varrive:pst:ext(do) John INFLv
WS 2: {varrive:pst:ext(do), {arriveθ, Bill}} meetθ vmeet:θ:pres INFLv John INFLv [gray]
WS 3: {meetθ, John} {varrive:pst:ext(do), {arriveθ, Bill}} vmeet:θ:pres INFLv INFLv [gray]
WS 4: {vmeet:θ:pres, {meetθ, John}} {varrive:pst:ext(do), {arriveθ, Bill}} INFLv INFLv [gray]
WS 5: {John, {vmeet:θ:pres, {meetθ, John}}} {varrive:pst:ext(do), {arriveθ, Bill}} INFLv INFLv [gray]
WS 6: {{Bill, {vmeet:θ:pres, {meetθ, John}}}, {varrive:pst:ext(do), {arriveθ, Bill}}} INFLv INFLv
WS 7: {INFLv, {{Bill, {vmeet:θ:pres, {meetθ, John}}}, {varrive:pst:ext(do), {arriveθ, Bill}}}}
Final WS: {C, {INFLv, {{Bill, {vmeet:θ:pres, {meetθ, John}}}, {varrive:pst:ext(do), {arriveθ, Bill}}}}}
INT/EXT: {C, {INFL
v,
{{Bill, {v
meet:θ:pres, {meet
θ, John}}}, {v
arrive:pst:ext(do), {arrive
θ, Bill}}
}}}
EXT: Bill {[3sg,pres,meet,John],[and],[3sg,pst,arrive]}
Spellout: Bill {[meets,John],[and],[arrived]}
Blocked: inconsistent with input!
Final WS: {CQ:aux(null,pst,arrive), {INFLv, {{Bill, {vmeet:θ:pres, {meetθ, John}}}, {varrive:pst:ext(do), {arriveθ, Bill}}}}}
INT/EXT: {C
Q:aux(null,pst,arrive), {INFL
v,
{{Bill, {v
meet:θ:pres, {meet
θ, John}}}, {v
arrive:pst:ext(do), {arrive
θ, Bill}}
}}}
EXT: null pst arrive →→ Bill {[3sg,pres,meet,John],[and],[3sg,pst,arrive]}
Spellout: null pst arrive Bill {[3sg,pres,meet,John],[and],[3sg,pst,arrive]}
Blocked: inconsistent with input!
WS 1: {arriveθ, Bill} meetθ vmeet:θ:pres INFLv varrive:pst:ext(do) John INFLv
WS 2: {varrive:pst:ext(do), {arriveθ, Bill}} meetθ vmeet:θ:pres INFLv John INFLv [gray]
WS 3: {INFLv, {varrive:pst:ext(do), {arriveθ, Bill}}} meetθ vmeet:θ:pres INFLv John
WS 4: {meetθ, John} {INFLv, {varrive:pst:ext(do), {arriveθ, Bill}}} vmeet:θ:pres INFLv
WS 5: {vmeet:θ:pres, {meetθ, John}} {INFLv, {varrive:pst:ext(do), {arriveθ, Bill}}} INFLv
WS 6: {John, {vmeet:θ:pres, {meetθ, John}}} {INFLv, {varrive:pst:ext(do), {arriveθ, Bill}}} INFLv
WS 7: {INFLv, {John, {vmeet:θ:pres, {meetθ, John}}}} {INFLv, {varrive:pst:ext(do), {arriveθ, Bill}}}
WS 8: {{INFLv, {John, {vmeet:θ:pres, {meetθ, John}}}}, {INFLv, {varrive:pst:ext(do), {arriveθ, Bill}}}}
Final WS: {C, {{INFLv, {John, {vmeet:θ:pres, {meetθ, John}}}}, {INFLv, {varrive:pst:ext(do), {arriveθ, Bill}}}}}
INT/EXT: {C,
{{INFL
v, {John, {v
meet:θ:pres, {meet
θ, John}}}}, {INFL
v, {v
arrive:pst:ext(do), {arrive
θ, Bill}}}
}}
EXT: {[John,3sg,pres,meet,John],[and],[Bill,3sg,pst,arrive]}
Spellout: {[John,meets,John],[and],[Bill,arrived]}
Blocked: inconsistent with input!
EXT: {[John,3sg,pres,meet,John],[and],[there,3sg,pst,arrive,Bill]}
Spellout: {[John,meets,John],[and],[there,arrived,Bill]}
Blocked: inconsistent with input!
WS 1: {arriveθ, Bill} meetθ vmeet:θ:pres INFLv varrive:pst:ext(do) John INFLv
WS 2: {varrive:pst:ext(do), {arriveθ, Bill}} meetθ vmeet:θ:pres INFLv John INFLv [gray]
WS 3: {meetθ, John} {varrive:pst:ext(do), {arriveθ, Bill}} vmeet:θ:pres INFLv INFLv [gray]
WS 4: {meetθ, John} {INFLv, {varrive:pst:ext(do), {arriveθ, Bill}}} vmeet:θ:pres INFLv [gray]
WS 5: {vmeet:θ:pres, {meetθ, John}} {INFLv, {varrive:pst:ext(do), {arriveθ, Bill}}} INFLv [gray]
WS 6: {Bill, {vmeet:θ:pres, {meetθ, John}}} {INFLv, {varrive:pst:ext(do), {arriveθ, Bill}}} INFLv
WS 7: {INFLv, {Bill, {vmeet:θ:pres, {meetθ, John}}}} {INFLv, {varrive:pst:ext(do), {arriveθ, Bill}}}
WS 8: {{INFLv, {Bill, {vmeet:θ:pres, {meetθ, John}}}}, {INFLv, {varrive:pst:ext(do), {arriveθ, Bill}}}}
Final WS: {C, {{INFLv, {Bill, {vmeet:θ:pres, {meetθ, John}}}}, {INFLv, {varrive:pst:ext(do), {arriveθ, Bill}}}}}
INT/EXT: {C,
{{INFL
v, {Bill, {v
meet:θ:pres, {meet
θ, John}}}}, {INFL
v, {v
arrive:pst:ext(do), {arrive
θ, Bill}}}
}}
EXT: {[Bill,3sg,pres,meet,John],[and],[Bill,3sg,pst,arrive]}
Spellout: {[Bill,meets,John],[and],[Bill,arrived]}
Blocked: inconsistent with input!
EXT: {[Bill,3sg,pres,meet,John],[and],[there,3sg,pst,arrive,Bill]}
Spellout: {[Bill,meets,John],[and],[there,arrived,Bill]}
Blocked: inconsistent with input!
WS 1: {arriveθ, John} Bill meetθ vmeet:θ:pres INFLv varrive:pst:ext(do) INFLv
WS 2: {varrive:pst:ext(do), {arriveθ, John}} Bill meetθ vmeet:θ:pres INFLv INFLv
WS 3: {meetθ, Bill} {varrive:pst:ext(do), {arriveθ, John}} vmeet:θ:pres INFLv INFLv
WS 4: {vmeet:θ:pres, {meetθ, Bill}} {varrive:pst:ext(do), {arriveθ, John}} INFLv INFLv
WS 5: {Bill, {vmeet:θ:pres, {meetθ, Bill}}} {varrive:pst:ext(do), {arriveθ, John}} INFLv INFLv
WS 6: {INFLv, {Bill, {vmeet:θ:pres, {meetθ, Bill}}}} {varrive:pst:ext(do), {arriveθ, John}} INFLv
WS 1: {arriveθ, John} Bill meetθ vmeet:θ:pres INFLv varrive:pst:ext(do) INFLv
WS 2: {varrive:pst:ext(do), {arriveθ, John}} Bill meetθ vmeet:θ:pres INFLv INFLv [gray]
WS 3: {meetθ, Bill} {varrive:pst:ext(do), {arriveθ, John}} vmeet:θ:pres INFLv INFLv [gray]
WS 4: {vmeet:θ:pres, {meetθ, Bill}} {varrive:pst:ext(do), {arriveθ, John}} INFLv INFLv [gray]
WS 5: {Bill, {vmeet:θ:pres, {meetθ, Bill}}} {varrive:pst:ext(do), {arriveθ, John}} INFLv INFLv [gray]
WS 6: {{Bill, {vmeet:θ:pres, {meetθ, Bill}}}, {varrive:pst:ext(do), {arriveθ, John}}} INFLv INFLv
WS 1: {arriveθ, John} Bill meetθ vmeet:θ:pres INFLv varrive:pst:ext(do) INFLv
WS 2: {varrive:pst:ext(do), {arriveθ, John}} Bill meetθ vmeet:θ:pres INFLv INFLv [gray]
WS 3: {meetθ, Bill} {varrive:pst:ext(do), {arriveθ, John}} vmeet:θ:pres INFLv INFLv [gray]
WS 4: {vmeet:θ:pres, {meetθ, Bill}} {varrive:pst:ext(do), {arriveθ, John}} INFLv INFLv [gray]
WS 5: {John, {vmeet:θ:pres, {meetθ, Bill}}} {varrive:pst:ext(do), {arriveθ, John}} INFLv INFLv
WS 6: {INFLv, {John, {vmeet:θ:pres, {meetθ, Bill}}}} {varrive:pst:ext(do), {arriveθ, John}} INFLv
WS 1: {arriveθ, John} Bill meetθ vmeet:θ:pres INFLv varrive:pst:ext(do) INFLv
WS 2: {varrive:pst:ext(do), {arriveθ, John}} Bill meetθ vmeet:θ:pres INFLv INFLv [gray]
WS 3: {meetθ, Bill} {varrive:pst:ext(do), {arriveθ, John}} vmeet:θ:pres INFLv INFLv [gray]
WS 4: {vmeet:θ:pres, {meetθ, Bill}} {varrive:pst:ext(do), {arriveθ, John}} INFLv INFLv [gray]
WS 5: {Bill, {vmeet:θ:pres, {meetθ, Bill}}} {varrive:pst:ext(do), {arriveθ, John}} INFLv INFLv [gray]
WS 6: {{John, {vmeet:θ:pres, {meetθ, Bill}}}, {varrive:pst:ext(do), {arriveθ, John}}} INFLv INFLv
WS 7: {INFLv, {{John, {vmeet:θ:pres, {meetθ, Bill}}}, {varrive:pst:ext(do), {arriveθ, John}}}}
Final WS: {C, {INFLv, {{John, {vmeet:θ:pres, {meetθ, Bill}}}, {varrive:pst:ext(do), {arriveθ, John}}}}}
INT/EXT: {C, {INFL
v,
{{John, {v
meet:θ:pres, {meet
θ, Bill}}}, {v
arrive:pst:ext(do), {arrive
θ, John}}
}}}
EXT: John {[3sg,pres,meet,Bill],[and],[3sg,pst,arrive]}
Spellout: John {[meets,Bill],[and],[arrived]}
Blocked: inconsistent with input!
Final WS: {CQ:aux(null,pst,arrive), {INFLv, {{John, {vmeet:θ:pres, {meetθ, Bill}}}, {varrive:pst:ext(do), {arriveθ, John}}}}}
INT/EXT: {C
Q:aux(null,pst,arrive), {INFL
v,
{{John, {v
meet:θ:pres, {meet
θ, Bill}}}, {v
arrive:pst:ext(do), {arrive
θ, John}}
}}}
EXT: null pst arrive →→ John {[3sg,pres,meet,Bill],[and],[3sg,pst,arrive]}
Spellout: null pst arrive John {[3sg,pres,meet,Bill],[and],[3sg,pst,arrive]}
Blocked: inconsistent with input!
WS 1: {arriveθ, John} Bill meetθ vmeet:θ:pres INFLv varrive:pst:ext(do) INFLv
WS 2: {varrive:pst:ext(do), {arriveθ, John}} Bill meetθ vmeet:θ:pres INFLv INFLv [gray]
WS 3: {INFLv, {varrive:pst:ext(do), {arriveθ, John}}} Bill meetθ vmeet:θ:pres INFLv
WS 4: {meetθ, Bill} {INFLv, {varrive:pst:ext(do), {arriveθ, John}}} vmeet:θ:pres INFLv
WS 5: {vmeet:θ:pres, {meetθ, Bill}} {INFLv, {varrive:pst:ext(do), {arriveθ, John}}} INFLv
WS 6: {Bill, {vmeet:θ:pres, {meetθ, Bill}}} {INFLv, {varrive:pst:ext(do), {arriveθ, John}}} INFLv
WS 7: {INFLv, {Bill, {vmeet:θ:pres, {meetθ, Bill}}}} {INFLv, {varrive:pst:ext(do), {arriveθ, John}}}
WS 8: {{INFLv, {Bill, {vmeet:θ:pres, {meetθ, Bill}}}}, {INFLv, {varrive:pst:ext(do), {arriveθ, John}}}}
Final WS: {C, {{INFLv, {Bill, {vmeet:θ:pres, {meetθ, Bill}}}}, {INFLv, {varrive:pst:ext(do), {arriveθ, John}}}}}
INT/EXT: {C,
{{INFL
v, {Bill, {v
meet:θ:pres, {meet
θ, Bill}}}}, {INFL
v, {v
arrive:pst:ext(do), {arrive
θ, John}}}
}}
EXT: {[Bill,3sg,pres,meet,Bill],[and],[John,3sg,pst,arrive]}
Spellout: {[Bill,meets,Bill],[and],[John,arrived]}
Blocked: inconsistent with input!
EXT: {[Bill,3sg,pres,meet,Bill],[and],[there,3sg,pst,arrive,John]}
Spellout: {[Bill,meets,Bill],[and],[there,arrived,John]}
Blocked: inconsistent with input!
WS 1: {arriveθ, John} Bill meetθ vmeet:θ:pres INFLv varrive:pst:ext(do) INFLv
WS 2: {varrive:pst:ext(do), {arriveθ, John}} Bill meetθ vmeet:θ:pres INFLv INFLv [gray]
WS 3: {meetθ, Bill} {varrive:pst:ext(do), {arriveθ, John}} vmeet:θ:pres INFLv INFLv [gray]
WS 4: {meetθ, Bill} {INFLv, {varrive:pst:ext(do), {arriveθ, John}}} vmeet:θ:pres INFLv [gray]
WS 5: {vmeet:θ:pres, {meetθ, Bill}} {INFLv, {varrive:pst:ext(do), {arriveθ, John}}} INFLv [gray]
WS 6: {John, {vmeet:θ:pres, {meetθ, Bill}}} {INFLv, {varrive:pst:ext(do), {arriveθ, John}}} INFLv
WS 7: {INFLv, {John, {vmeet:θ:pres, {meetθ, Bill}}}} {INFLv, {varrive:pst:ext(do), {arriveθ, John}}}
WS 8: {{INFLv, {John, {vmeet:θ:pres, {meetθ, Bill}}}}, {INFLv, {varrive:pst:ext(do), {arriveθ, John}}}}
Final WS: {C, {{INFLv, {John, {vmeet:θ:pres, {meetθ, Bill}}}}, {INFLv, {varrive:pst:ext(do), {arriveθ, John}}}}}
INT/EXT: {C,
{{INFL
v, {John, {v
meet:θ:pres, {meet
θ, Bill}}}}, {INFL
v, {v
arrive:pst:ext(do), {arrive
θ, John}}}
}}
EXT: {[John,3sg,pres,meet,Bill],[and],[John,3sg,pst,arrive]}
Spellout: {[John,meets,Bill],[and],[John,arrived]}
Blocked: inconsistent with input!
EXT: {[John,3sg,pres,meet,Bill],[and],[there,3sg,pst,arrive,John]}
Spellout: {[John,meets,Bill],[and],[there,arrived,John]}
Blocked: inconsistent with input!
WS 1: {Bill, John} meetθ vmeet:θ:pres INFLv arriveθ varrive:pst:ext(do) INFLv
WS 2: {meetθ, {Bill, John}} vmeet:θ:pres INFLv arriveθ varrive:pst:ext(do) INFLv
WS 3: {vmeet:θ:pres, {meetθ, {Bill, John}}} INFLv arriveθ varrive:pst:ext(do) INFLv
WS 4: {arriveθ, {Bill, John}} {vmeet:θ:pres, {meetθ, {Bill, John}}} INFLv varrive:pst:ext(do) INFLv
WS 5: {varrive:pst:ext(do), {arriveθ, {Bill, John}}} {vmeet:θ:pres, {meetθ, {Bill, John}}} INFLv INFLv
WS 6: {INFLv, {varrive:pst:ext(do), {arriveθ, {Bill, John}}}} {vmeet:θ:pres, {meetθ, {Bill, John}}} INFLv
WS 1: {Bill, John} meetθ vmeet:θ:pres INFLv arriveθ varrive:pst:ext(do) INFLv
WS 2: {meetθ, {Bill, John}} vmeet:θ:pres INFLv arriveθ varrive:pst:ext(do) INFLv [gray]
WS 3: {vmeet:θ:pres, {meetθ, {Bill, John}}} INFLv arriveθ varrive:pst:ext(do) INFLv [gray]
WS 4: {{Bill, John}, {vmeet:θ:pres, {meetθ, {Bill, John}}}} INFLv arriveθ varrive:pst:ext(do) INFLv
WS 5: {INFLv, {{Bill, John}, {vmeet:θ:pres, {meetθ, {Bill, John}}}}} arriveθ varrive:pst:ext(do) INFLv
WS 1: {Bill, John} meetθ vmeet:θ:pres INFLv arriveθ varrive:pst:ext(do) INFLv
WS 2: {arriveθ, {Bill, John}} meetθ vmeet:θ:pres INFLv varrive:pst:ext(do) INFLv
WS 3: {varrive:pst:ext(do), {arriveθ, {Bill, John}}} meetθ vmeet:θ:pres INFLv INFLv
WS 4: {meetθ, {Bill, John}} {varrive:pst:ext(do), {arriveθ, {Bill, John}}} vmeet:θ:pres INFLv INFLv
WS 5: {vmeet:θ:pres, {meetθ, {Bill, John}}} {varrive:pst:ext(do), {arriveθ, {Bill, John}}} INFLv INFLv
WS 1: {Bill, John} meetθ vmeet:θ:pres INFLv arriveθ varrive:pst:ext(do) INFLv
WS 2: {meetθ, {Bill, John}} vmeet:θ:pres INFLv arriveθ varrive:pst:ext(do) INFLv [gray]
WS 3: {varrive:pst:ext(do), {arriveθ, {Bill, John}}} meetθ vmeet:θ:pres INFLv INFLv [gray]
WS 4: {INFLv, {varrive:pst:ext(do), {arriveθ, {Bill, John}}}} meetθ vmeet:θ:pres INFLv
WS 5: {meetθ, {Bill, John}} {INFLv, {varrive:pst:ext(do), {arriveθ, {Bill, John}}}} vmeet:θ:pres INFLv
WS 6: {vmeet:θ:pres, {meetθ, {Bill, John}}} {INFLv, {varrive:pst:ext(do), {arriveθ, {Bill, John}}}} INFLv
= tree pop-up. × = close pop-up.]