[Right triangle ⏵ may be expanded, down triangle ⏷ to close. Button = tree pop-up. × = close pop-up.]

Terminal: run. Derivation Graphs: (left-to-right) compact / full; (top-down) full / compact.

Help: blue = parse inside. Abbr.: WS: Workspace; Initial WS: initial heads for Merge after LEX lookup.
×

Words: John arrived and will meet Bill
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, {INFLv, {{vv:modal:will:pres, {John, {vmeet:θ:nonf, {meetθ, Bill}}}}, {varrive: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, {{INFLv, {vv:modal:will:pres, {John, {vmeet:θ:nonf, {meetθ, Bill}}}}}, {INFLv, {varrive: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, {{INFLv, {vv:modal:will:pres, {Bill, {vmeet:θ:nonf, {meetθ, Bill}}}}}, {INFLv, {varrive: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, {INFLv, {{varrive:pst, {arriveθ, John}}, {vv:modal:will:pres, {John, {vmeet:θ: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, {{INFLv, {varrive:pst, {arriveθ, John}}}, {INFLv, {vv:modal:will:pres, {John, {vmeet:θ: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, {{INFLv, {varrive:pst, {arriveθ, Bill}}}, {INFLv, {vv:modal:will:pres, {John, {vmeet:θ: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, {INFLv, {{vv:modal:will:pres, {Bill, {vmeet:θ:nonf, {meetθ, John}}}}, {varrive: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, {{INFLv, {vv:modal:will:pres, {Bill, {vmeet:θ:nonf, {meetθ, John}}}}}, {INFLv, {varrive: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, {{INFLv, {vv:modal:will:pres, {John, {vmeet:θ:nonf, {meetθ, John}}}}}, {INFLv, {varrive: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, {INFLv, {{varrive:pst, {arriveθ, Bill}}, {vv:modal:will:pres, {Bill, {vmeet:θ: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, {{INFLv, {varrive:pst, {arriveθ, Bill}}}, {INFLv, {vv:modal:will:pres, {Bill, {vmeet:θ: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, {{INFLv, {varrive:pst, {arriveθ, John}}}, {INFLv, {vv:modal:will:pres, {Bill, {vmeet:θ: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, {INFLv, {{vv:modal:will:pres, {Bill, {vmeet:θ:nonf, {meetθ, John}}}}, {varrive: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, {{INFLv, {vv:modal:will:pres, {John, {vmeet:θ:nonf, {meetθ, John}}}}}, {INFLv, {varrive: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, {{INFLv, {vv:modal:will:pres, {Bill, {vmeet:θ:nonf, {meetθ, John}}}}}, {INFLv, {varrive: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, {INFLv, {{vv:modal:will:pres, {John, {vmeet:θ:nonf, {meetθ, Bill}}}}, {varrive: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, {{INFLv, {vv:modal:will:pres, {Bill, {vmeet:θ:nonf, {meetθ, Bill}}}}}, {INFLv, {varrive: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, {{INFLv, {vv:modal:will:pres, {John, {vmeet:θ:nonf, {meetθ, Bill}}}}}, {INFLv, {varrive: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: {BillJohn} meetθ vmeet:θ:nonf vv:modal:will:pres INFLv arriveθ varrive:pst INFLv
WS 2: {meetθ, {BillJohn}} vmeet:θ:nonf vv:modal:will:pres INFLv arriveθ varrive:pst INFLv
WS 3: {vmeet:θ:nonf, {meetθ, {BillJohn}}} vv:modal:will:pres INFLv arriveθ varrive:pst INFLv
WS 4: {arriveθ, {BillJohn}} {vmeet:θ:nonf, {meetθ, {BillJohn}}} vv:modal:will:pres INFLv varrive:pst INFLv
WS 5: {varrive:pst, {arriveθ, {BillJohn}}} {vmeet:θ:nonf, {meetθ, {BillJohn}}} vv:modal:will:pres INFLv INFLv
WS 6: {INFLv, {varrive:pst, {arriveθ, {BillJohn}}}} {vmeet:θ:nonf, {meetθ, {BillJohn}}} vv:modal:will:pres INFLv
WS 1: {BillJohn} meetθ vmeet:θ:nonf vv:modal:will:pres INFLv arriveθ varrive:pst INFLv
WS 2: {meetθ, {BillJohn}} vmeet:θ:nonf vv:modal:will:pres INFLv arriveθ varrive:pst INFLv [gray]
WS 3: {vmeet:θ:nonf, {meetθ, {BillJohn}}} vv:modal:will:pres INFLv arriveθ varrive:pst INFLv [gray]
WS 4: {{BillJohn}, {vmeet:θ:nonf, {meetθ, {BillJohn}}}} vv:modal:will:pres INFLv arriveθ varrive:pst INFLv
WS 5: {vv:modal:will:pres, {{BillJohn}, {vmeet:θ:nonf, {meetθ, {BillJohn}}}}} INFLv arriveθ varrive:pst INFLv
WS 6: {INFLv, {vv:modal:will:pres, {{BillJohn}, {vmeet:θ:nonf, {meetθ, {BillJohn}}}}}} arriveθ varrive:pst INFLv
WS 1: {BillJohn} meetθ vmeet:θ:nonf vv:modal:will:pres INFLv arriveθ varrive:pst INFLv
WS 2: {arriveθ, {BillJohn}} meetθ vmeet:θ:nonf vv:modal:will:pres INFLv varrive:pst INFLv
WS 3: {varrive:pst, {arriveθ, {BillJohn}}} meetθ vmeet:θ:nonf vv:modal:will:pres INFLv INFLv
WS 4: {meetθ, {BillJohn}} {varrive:pst, {arriveθ, {BillJohn}}} vmeet:θ:nonf vv:modal:will:pres INFLv INFLv
WS 5: {vmeet:θ:nonf, {meetθ, {BillJohn}}} {varrive:pst, {arriveθ, {BillJohn}}} vv:modal:will:pres INFLv INFLv
WS 1: {BillJohn} meetθ vmeet:θ:nonf vv:modal:will:pres INFLv arriveθ varrive:pst INFLv
WS 2: {meetθ, {BillJohn}} vmeet:θ:nonf vv:modal:will:pres INFLv arriveθ varrive:pst INFLv [gray]
WS 3: {varrive:pst, {arriveθ, {BillJohn}}} meetθ vmeet:θ:nonf vv:modal:will:pres INFLv INFLv [gray]
WS 4: {INFLv, {varrive:pst, {arriveθ, {BillJohn}}}} meetθ vmeet:θ:nonf vv:modal:will:pres INFLv
WS 5: {meetθ, {BillJohn}} {INFLv, {varrive:pst, {arriveθ, {BillJohn}}}} vmeet:θ:nonf vv:modal:will:pres INFLv
WS 6: {vmeet:θ:nonf, {meetθ, {BillJohn}}} {INFLv, {varrive:pst, {arriveθ, {BillJohn}}}} vv:modal:will:pres INFLv