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