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