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