code$ swipl -s code_English.prolog

% Janus 1.5.2 embeds Python 3.13.13 (main, Apr 8 2026, 18:23:14) [Clang 21.0.0 (clang-2100.0.123.102)]

Manual & tutorial: https://sandiway.arizona.edu Sandiway Fong (2024-2026)

Run: ?- parse(List,SO,L). (; for more answers)

List = [..words] (input), SO,L = syntactic object, [..] spellout (output)

See derivation: ?- report. ?- graph. (<- after parse/3) ?- summary. (short)

for a long report ?- retract(no_fill).

LEX expansion: ⒜ WordNet: ?- useMorphy. (noMorphy)

assert/retract/?- : use_morphy(C), for C={v,n,a,r}. ⒝ edit lex.prolog

⒞ ?- addNoun(Word) (addTr/addUrg/addUnacc/addAdj/addPrep).

Welcome to SWI-Prolog (threaded, 64 bits, version 10.0.2)

SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.

Please run ?- license. for legal details.

For online help and background, visit https://www.swi-prolog.org

For built-in help, use ?- help(Topic). or ?- apropos(Word).

% Interactive session; added `.` to Python `sys.path`

101 ?- parse([a,man,from,the,city,arrived,and,met,'Bill'],S,L).

Words: a man from the city arrived and met Bill

Initial WS: Bill meet_θ v_meet:θ:pst INFL_v arrive_θ v_arrive:pst INFL_v city_the from_θ:θRnoun man_a

INT/EXT: {C, {INFL_v, {{{man_a, {from_θ:θRnoun, city_the}}, {v_meet:θ:pst, {meet_θ, Bill}}}, {v_arrive:pst, {arrive_θ, {man_a, {from_θ:θRnoun, city_the}}}}}}}

EXT: a man from the city {[3sg,pst,meet,Bill],[and],[3sg,pst,arrive]}

Spellout: a man from the city {[met,Bill],[and],[arrived]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {{man_a, {from_θ:θRnoun, city_the}}, {v_meet:θ:pst, {meet_θ, Bill}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, {man_a, {from_θ:θRnoun, city_the}}}}}}}

EXT: {[a,man,from,the,city,3sg,pst,meet,Bill],[and],[a,man,from,the,city,3sg,pst,arrive]}

Spellout: {[a,man,from,the,city,met,Bill],[and],[a,man,from,the,city,arrived]}

Blocked: inconsistent with input!

EXT: {[a,man,from,the,city,3sg,pst,meet,Bill],[and],[there,3sg,pst,arrive,a,man,from,the,city]}

Spellout: {[a,man,from,the,city,met,Bill],[and],[there,arrived,a,man,from,the,city]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {Bill, {v_meet:θ:pst, {meet_θ, Bill}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, {man_a, {from_θ:θRnoun, city_the}}}}}}}

EXT: {[Bill,3sg,pst,meet,Bill],[and],[a,man,from,the,city,3sg,pst,arrive]}

Spellout: {[Bill,met,Bill],[and],[a,man,from,the,city,arrived]}

Blocked: inconsistent with input!

EXT: {[Bill,3sg,pst,meet,Bill],[and],[there,3sg,pst,arrive,a,man,from,the,city]}

Spellout: {[Bill,met,Bill],[and],[there,arrived,a,man,from,the,city]}

Blocked: inconsistent with input!

INT/EXT: {C, {INFL_v, {{v_arrive:pst, {arrive_θ, {man_a, {from_θ:θRnoun, city_the}}}}, {{man_a, {from_θ:θRnoun, city_the}}, {v_meet:θ:pst, {meet_θ, Bill}}}}}}

EXT: a man from the city {[3sg,pst,arrive],[and],[3sg,pst,meet,Bill]}

Spellout: a man from the city {[arrived],[and],[met,Bill]}

Parse found!

S = {C, {INFL_v, {{v_arrive:pst, {arrive_θ, {man_a, {from_θ:θRnoun, city_the}}}}, {{man_a, {from_θ:θRnoun, city_the}}, {v_meet:θ:pst, {meet_θ, Bill}}}}}},

L = [a,man,from,the,city,[[arrived],[and],[met,Bill]]] ;

INT/EXT: {C, {{INFL_v, {v_arrive:pst, {arrive_θ, {man_a, {from_θ:θRnoun, city_the}}}}}, {INFL_v, {{man_a, {from_θ:θRnoun, city_the}}, {v_meet:θ:pst, {meet_θ, Bill}}}}}}

EXT: {[a,man,from,the,city,3sg,pst,arrive],[and],[a,man,from,the,city,3sg,pst,meet,Bill]}

Spellout: {[a,man,from,the,city,arrived],[and],[a,man,from,the,city,met,Bill]}

Blocked: inconsistent with input!

EXT: {[there,3sg,pst,arrive,a,man,from,the,city],[and],[a,man,from,the,city,3sg,pst,meet,Bill]}

Spellout: {[there,arrived,a,man,from,the,city],[and],[a,man,from,the,city,met,Bill]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {v_arrive:pst, {arrive_θ, city_the}}}, {INFL_v, {{man_a, {from_θ:θRnoun, city_the}}, {v_meet:θ:pst, {meet_θ, Bill}}}}}}

EXT: {[the,city,3sg,pst,arrive],[and],[a,man,from,the,city,3sg,pst,meet,Bill]}

Spellout: {[the,city,arrived],[and],[a,man,from,the,city,met,Bill]}

Blocked: inconsistent with input!

EXT: {[there,3sg,pst,arrive,the,city],[and],[a,man,from,the,city,3sg,pst,meet,Bill]}

Spellout: {[there,arrived,the,city],[and],[a,man,from,the,city,met,Bill]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {v_arrive:pst, {arrive_θ, Bill}}}, {INFL_v, {{man_a, {from_θ:θRnoun, city_the}}, {v_meet:θ:pst, {meet_θ, Bill}}}}}}

EXT: {[Bill,3sg,pst,arrive],[and],[a,man,from,the,city,3sg,pst,meet,Bill]}

Spellout: {[Bill,arrived],[and],[a,man,from,the,city,met,Bill]}

Blocked: inconsistent with input!

EXT: {[there,3sg,pst,arrive,Bill],[and],[a,man,from,the,city,3sg,pst,meet,Bill]}

Spellout: {[there,arrived,Bill],[and],[a,man,from,the,city,met,Bill]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {man_a, {v_meet:θ:pst, {meet_θ, Bill}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, {city_the, {from_θ:θRnoun, man_a}}}}}}}

EXT: {[a,man,3sg,pst,meet,Bill],[and],[the,city,from,a,man,3sg,pst,arrive]}

Spellout: {[a,man,met,Bill],[and],[the,city,from,a,man,arrived]}

Blocked: inconsistent with input!

EXT: {[a,man,3sg,pst,meet,Bill],[and],[there,3sg,pst,arrive,the,city,from,a,man]}

Spellout: {[a,man,met,Bill],[and],[there,arrived,the,city,from,a,man]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {Bill, {v_meet:θ:pst, {meet_θ, Bill}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, {city_the, {from_θ:θRnoun, man_a}}}}}}}

EXT: {[Bill,3sg,pst,meet,Bill],[and],[the,city,from,a,man,3sg,pst,arrive]}

Spellout: {[Bill,met,Bill],[and],[the,city,from,a,man,arrived]}

Blocked: inconsistent with input!

EXT: {[Bill,3sg,pst,meet,Bill],[and],[there,3sg,pst,arrive,the,city,from,a,man]}

Spellout: {[Bill,met,Bill],[and],[there,arrived,the,city,from,a,man]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {Bill, {v_meet:θ:pst, {meet_θ, man_a}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, {city_the, {from_θ:θRnoun, Bill}}}}}}}

EXT: {[Bill,3sg,pst,meet,a,man],[and],[the,city,from,Bill,3sg,pst,arrive]}

Spellout: {[Bill,met,a,man],[and],[the,city,from,Bill,arrived]}

Blocked: inconsistent with input!

EXT: {[Bill,3sg,pst,meet,a,man],[and],[there,3sg,pst,arrive,the,city,from,Bill]}

Spellout: {[Bill,met,a,man],[and],[there,arrived,the,city,from,Bill]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {man_a, {v_meet:θ:pst, {meet_θ, man_a}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, {city_the, {from_θ:θRnoun, Bill}}}}}}}

EXT: {[a,man,3sg,pst,meet,a,man],[and],[the,city,from,Bill,3sg,pst,arrive]}

Spellout: {[a,man,met,a,man],[and],[the,city,from,Bill,arrived]}

Blocked: inconsistent with input!

EXT: {[a,man,3sg,pst,meet,a,man],[and],[there,3sg,pst,arrive,the,city,from,Bill]}

Spellout: {[a,man,met,a,man],[and],[there,arrived,the,city,from,Bill]}

Blocked: inconsistent with input!

INT/EXT: {C, {INFL_v, {{{Bill, {from_θ:θRnoun, city_the}}, {v_meet:θ:pst, {meet_θ, man_a}}}, {v_arrive:pst, {arrive_θ, {Bill, {from_θ:θRnoun, city_the}}}}}}}

EXT: Bill from the city {[3sg,pst,meet,a,man],[and],[3sg,pst,arrive]}

Spellout: Bill from the city {[met,a,man],[and],[arrived]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {{Bill, {from_θ:θRnoun, city_the}}, {v_meet:θ:pst, {meet_θ, man_a}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, {Bill, {from_θ:θRnoun, city_the}}}}}}}

EXT: {[Bill,from,the,city,3sg,pst,meet,a,man],[and],[Bill,from,the,city,3sg,pst,arrive]}

Spellout: {[Bill,from,the,city,met,a,man],[and],[Bill,from,the,city,arrived]}

Blocked: inconsistent with input!

EXT: {[Bill,from,the,city,3sg,pst,meet,a,man],[and],[there,3sg,pst,arrive,Bill,from,the,city]}

Spellout: {[Bill,from,the,city,met,a,man],[and],[there,arrived,Bill,from,the,city]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {man_a, {v_meet:θ:pst, {meet_θ, man_a}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, {Bill, {from_θ:θRnoun, city_the}}}}}}}

EXT: {[a,man,3sg,pst,meet,a,man],[and],[Bill,from,the,city,3sg,pst,arrive]}

Spellout: {[a,man,met,a,man],[and],[Bill,from,the,city,arrived]}

Blocked: inconsistent with input!

EXT: {[a,man,3sg,pst,meet,a,man],[and],[there,3sg,pst,arrive,Bill,from,the,city]}

Spellout: {[a,man,met,a,man],[and],[there,arrived,Bill,from,the,city]}

Blocked: inconsistent with input!

INT/EXT: {C, {INFL_v, {{v_arrive:pst, {arrive_θ, {Bill, {from_θ:θRnoun, city_the}}}}, {{Bill, {from_θ:θRnoun, city_the}}, {v_meet:θ:pst, {meet_θ, man_a}}}}}}

EXT: Bill from the city {[3sg,pst,arrive],[and],[3sg,pst,meet,a,man]}

Spellout: Bill from the city {[arrived],[and],[met,a,man]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {v_arrive:pst, {arrive_θ, {Bill, {from_θ:θRnoun, city_the}}}}}, {INFL_v, {{Bill, {from_θ:θRnoun, city_the}}, {v_meet:θ:pst, {meet_θ, man_a}}}}}}

EXT: {[Bill,from,the,city,3sg,pst,arrive],[and],[Bill,from,the,city,3sg,pst,meet,a,man]}

Spellout: {[Bill,from,the,city,arrived],[and],[Bill,from,the,city,met,a,man]}

Blocked: inconsistent with input!

EXT: {[there,3sg,pst,arrive,Bill,from,the,city],[and],[Bill,from,the,city,3sg,pst,meet,a,man]}

Spellout: {[there,arrived,Bill,from,the,city],[and],[Bill,from,the,city,met,a,man]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {v_arrive:pst, {arrive_θ, city_the}}}, {INFL_v, {{Bill, {from_θ:θRnoun, city_the}}, {v_meet:θ:pst, {meet_θ, man_a}}}}}}

EXT: {[the,city,3sg,pst,arrive],[and],[Bill,from,the,city,3sg,pst,meet,a,man]}

Spellout: {[the,city,arrived],[and],[Bill,from,the,city,met,a,man]}

Blocked: inconsistent with input!

EXT: {[there,3sg,pst,arrive,the,city],[and],[Bill,from,the,city,3sg,pst,meet,a,man]}

Spellout: {[there,arrived,the,city],[and],[Bill,from,the,city,met,a,man]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {v_arrive:pst, {arrive_θ, man_a}}}, {INFL_v, {{Bill, {from_θ:θRnoun, city_the}}, {v_meet:θ:pst, {meet_θ, man_a}}}}}}

EXT: {[a,man,3sg,pst,arrive],[and],[Bill,from,the,city,3sg,pst,meet,a,man]}

Spellout: {[a,man,arrived],[and],[Bill,from,the,city,met,a,man]}

Blocked: inconsistent with input!

EXT: {[there,3sg,pst,arrive,a,man],[and],[Bill,from,the,city,3sg,pst,meet,a,man]}

Spellout: {[there,arrived,a,man],[and],[Bill,from,the,city,met,a,man]}

Blocked: inconsistent with input!

INT/EXT: {C, {INFL_v, {{Bill, {v_meet:θ:pst, {meet_θ, {man_a, {from_θ:θRnoun, city_the}}}}}, {v_arrive:pst, {arrive_θ, Bill}}}}}

EXT: Bill {[3sg,pst,meet,a,man,from,the,city],[and],[3sg,pst,arrive]}

Spellout: Bill {[met,a,man,from,the,city],[and],[arrived]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {{man_a, {from_θ:θRnoun, city_the}}, {v_meet:θ:pst, {meet_θ, {man_a, {from_θ:θRnoun, city_the}}}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, Bill}}}}}

EXT: {[a,man,from,the,city,3sg,pst,meet,a,man,from,the,city],[and],[Bill,3sg,pst,arrive]}

Spellout: {[a,man,from,the,city,met,a,man,from,the,city],[and],[Bill,arrived]}

Blocked: inconsistent with input!

EXT: {[a,man,from,the,city,3sg,pst,meet,a,man,from,the,city],[and],[there,3sg,pst,arrive,Bill]}

Spellout: {[a,man,from,the,city,met,a,man,from,the,city],[and],[there,arrived,Bill]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {Bill, {v_meet:θ:pst, {meet_θ, {man_a, {from_θ:θRnoun, city_the}}}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, Bill}}}}}

EXT: {[Bill,3sg,pst,meet,a,man,from,the,city],[and],[Bill,3sg,pst,arrive]}

Spellout: {[Bill,met,a,man,from,the,city],[and],[Bill,arrived]}

Blocked: inconsistent with input!

EXT: {[Bill,3sg,pst,meet,a,man,from,the,city],[and],[there,3sg,pst,arrive,Bill]}

Spellout: {[Bill,met,a,man,from,the,city],[and],[there,arrived,Bill]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {{man_a, {from_θ:θRnoun, Bill}}, {v_meet:θ:pst, {meet_θ, {man_a, {from_θ:θRnoun, Bill}}}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, city_the}}}}}

EXT: {[a,man,from,Bill,3sg,pst,meet,a,man,from,Bill],[and],[the,city,3sg,pst,arrive]}

Spellout: {[a,man,from,Bill,met,a,man,from,Bill],[and],[the,city,arrived]}

Blocked: inconsistent with input!

EXT: {[a,man,from,Bill,3sg,pst,meet,a,man,from,Bill],[and],[there,3sg,pst,arrive,the,city]}

Spellout: {[a,man,from,Bill,met,a,man,from,Bill],[and],[there,arrived,the,city]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {Bill, {v_meet:θ:pst, {meet_θ, {man_a, {from_θ:θRnoun, Bill}}}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, city_the}}}}}

EXT: {[Bill,3sg,pst,meet,a,man,from,Bill],[and],[the,city,3sg,pst,arrive]}

Spellout: {[Bill,met,a,man,from,Bill],[and],[the,city,arrived]}

Blocked: inconsistent with input!

EXT: {[Bill,3sg,pst,meet,a,man,from,Bill],[and],[there,3sg,pst,arrive,the,city]}

Spellout: {[Bill,met,a,man,from,Bill],[and],[there,arrived,the,city]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {{Bill, {from_θ:θRnoun, man_a}}, {v_meet:θ:pst, {meet_θ, {Bill, {from_θ:θRnoun, man_a}}}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, city_the}}}}}

EXT: {[Bill,from,a,man,3sg,pst,meet,Bill,from,a,man],[and],[the,city,3sg,pst,arrive]}

Spellout: {[Bill,from,a,man,met,Bill,from,a,man],[and],[the,city,arrived]}

Blocked: inconsistent with input!

EXT: {[Bill,from,a,man,3sg,pst,meet,Bill,from,a,man],[and],[there,3sg,pst,arrive,the,city]}

Spellout: {[Bill,from,a,man,met,Bill,from,a,man],[and],[there,arrived,the,city]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {man_a, {v_meet:θ:pst, {meet_θ, {Bill, {from_θ:θRnoun, man_a}}}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, city_the}}}}}

EXT: {[a,man,3sg,pst,meet,Bill,from,a,man],[and],[the,city,3sg,pst,arrive]}

Spellout: {[a,man,met,Bill,from,a,man],[and],[the,city,arrived]}

Blocked: inconsistent with input!

EXT: {[a,man,3sg,pst,meet,Bill,from,a,man],[and],[there,3sg,pst,arrive,the,city]}

Spellout: {[a,man,met,Bill,from,a,man],[and],[there,arrived,the,city]}

Blocked: inconsistent with input!

INT/EXT: {C, {INFL_v, {{man_a, {v_meet:θ:pst, {meet_θ, {Bill, {from_θ:θRnoun, city_the}}}}}, {v_arrive:pst, {arrive_θ, man_a}}}}}

EXT: a man {[3sg,pst,meet,Bill,from,the,city],[and],[3sg,pst,arrive]}

Spellout: a man {[met,Bill,from,the,city],[and],[arrived]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {{Bill, {from_θ:θRnoun, city_the}}, {v_meet:θ:pst, {meet_θ, {Bill, {from_θ:θRnoun, city_the}}}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, man_a}}}}}

EXT: {[Bill,from,the,city,3sg,pst,meet,Bill,from,the,city],[and],[a,man,3sg,pst,arrive]}

Spellout: {[Bill,from,the,city,met,Bill,from,the,city],[and],[a,man,arrived]}

Blocked: inconsistent with input!

EXT: {[Bill,from,the,city,3sg,pst,meet,Bill,from,the,city],[and],[there,3sg,pst,arrive,a,man]}

Spellout: {[Bill,from,the,city,met,Bill,from,the,city],[and],[there,arrived,a,man]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {man_a, {v_meet:θ:pst, {meet_θ, {Bill, {from_θ:θRnoun, city_the}}}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, man_a}}}}}

EXT: {[a,man,3sg,pst,meet,Bill,from,the,city],[and],[a,man,3sg,pst,arrive]}

Spellout: {[a,man,met,Bill,from,the,city],[and],[a,man,arrived]}

Blocked: inconsistent with input!

EXT: {[a,man,3sg,pst,meet,Bill,from,the,city],[and],[there,3sg,pst,arrive,a,man]}

Spellout: {[a,man,met,Bill,from,the,city],[and],[there,arrived,a,man]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {man_a, {v_meet:θ:pst, {meet_θ, man_a}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, {city_the, {from_θ:θRnoun, Bill}}}}}}}

EXT: {[a,man,3sg,pst,meet,a,man],[and],[the,city,from,Bill,3sg,pst,arrive]}

Spellout: {[a,man,met,a,man],[and],[the,city,from,Bill,arrived]}

Blocked: inconsistent with input!

EXT: {[a,man,3sg,pst,meet,a,man],[and],[there,3sg,pst,arrive,the,city,from,Bill]}

Spellout: {[a,man,met,a,man],[and],[there,arrived,the,city,from,Bill]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {Bill, {v_meet:θ:pst, {meet_θ, man_a}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, {city_the, {from_θ:θRnoun, Bill}}}}}}}

EXT: {[Bill,3sg,pst,meet,a,man],[and],[the,city,from,Bill,3sg,pst,arrive]}

Spellout: {[Bill,met,a,man],[and],[the,city,from,Bill,arrived]}

Blocked: inconsistent with input!

EXT: {[Bill,3sg,pst,meet,a,man],[and],[there,3sg,pst,arrive,the,city,from,Bill]}

Spellout: {[Bill,met,a,man],[and],[there,arrived,the,city,from,Bill]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {man_a, {v_meet:θ:pst, {meet_θ, man_a}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, {city_the, {from_θ:θRnoun, Bill}}}}}}}

EXT: {[a,man,3sg,pst,meet,a,man],[and],[the,city,from,Bill,3sg,pst,arrive]}

Spellout: {[a,man,met,a,man],[and],[the,city,from,Bill,arrived]}

Blocked: inconsistent with input!

EXT: {[a,man,3sg,pst,meet,a,man],[and],[there,3sg,pst,arrive,the,city,from,Bill]}

Spellout: {[a,man,met,a,man],[and],[there,arrived,the,city,from,Bill]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {Bill, {v_meet:θ:pst, {meet_θ, man_a}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, {city_the, {from_θ:θRnoun, Bill}}}}}}}

EXT: {[Bill,3sg,pst,meet,a,man],[and],[the,city,from,Bill,3sg,pst,arrive]}

Spellout: {[Bill,met,a,man],[and],[the,city,from,Bill,arrived]}

Blocked: inconsistent with input!

EXT: {[Bill,3sg,pst,meet,a,man],[and],[there,3sg,pst,arrive,the,city,from,Bill]}

Spellout: {[Bill,met,a,man],[and],[there,arrived,the,city,from,Bill]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {{man_a, {from_θ:θRnoun, Bill}}, {v_meet:θ:pst, {meet_θ, {man_a, {from_θ:θRnoun, Bill}}}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, city_the}}}}}

EXT: {[a,man,from,Bill,3sg,pst,meet,a,man,from,Bill],[and],[the,city,3sg,pst,arrive]}

Spellout: {[a,man,from,Bill,met,a,man,from,Bill],[and],[the,city,arrived]}

Blocked: inconsistent with input!

EXT: {[a,man,from,Bill,3sg,pst,meet,a,man,from,Bill],[and],[there,3sg,pst,arrive,the,city]}

Spellout: {[a,man,from,Bill,met,a,man,from,Bill],[and],[there,arrived,the,city]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {Bill, {v_meet:θ:pst, {meet_θ, {man_a, {from_θ:θRnoun, Bill}}}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, city_the}}}}}

EXT: {[Bill,3sg,pst,meet,a,man,from,Bill],[and],[the,city,3sg,pst,arrive]}

Spellout: {[Bill,met,a,man,from,Bill],[and],[the,city,arrived]}

Blocked: inconsistent with input!

EXT: {[Bill,3sg,pst,meet,a,man,from,Bill],[and],[there,3sg,pst,arrive,the,city]}

Spellout: {[Bill,met,a,man,from,Bill],[and],[there,arrived,the,city]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {{man_a, {from_θ:θRnoun, Bill}}, {v_meet:θ:pst, {meet_θ, {man_a, {from_θ:θRnoun, Bill}}}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, city_the}}}}}

EXT: {[a,man,from,Bill,3sg,pst,meet,a,man,from,Bill],[and],[the,city,3sg,pst,arrive]}

Spellout: {[a,man,from,Bill,met,a,man,from,Bill],[and],[the,city,arrived]}

Blocked: inconsistent with input!

EXT: {[a,man,from,Bill,3sg,pst,meet,a,man,from,Bill],[and],[there,3sg,pst,arrive,the,city]}

Spellout: {[a,man,from,Bill,met,a,man,from,Bill],[and],[there,arrived,the,city]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {Bill, {v_meet:θ:pst, {meet_θ, {man_a, {from_θ:θRnoun, Bill}}}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, city_the}}}}}

EXT: {[Bill,3sg,pst,meet,a,man,from,Bill],[and],[the,city,3sg,pst,arrive]}

Spellout: {[Bill,met,a,man,from,Bill],[and],[the,city,arrived]}

Blocked: inconsistent with input!

EXT: {[Bill,3sg,pst,meet,a,man,from,Bill],[and],[there,3sg,pst,arrive,the,city]}

Spellout: {[Bill,met,a,man,from,Bill],[and],[there,arrived,the,city]}

Blocked: inconsistent with input!

INT/EXT: {C, {INFL_v, {{man_a, {v_meet:θ:pst, {meet_θ, {Bill, {from_θ:θRnoun, city_the}}}}}, {v_arrive:pst, {arrive_θ, man_a}}}}}

EXT: a man {[3sg,pst,meet,Bill,from,the,city],[and],[3sg,pst,arrive]}

Spellout: a man {[met,Bill,from,the,city],[and],[arrived]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {man_a, {v_meet:θ:pst, {meet_θ, {Bill, {from_θ:θRnoun, city_the}}}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, man_a}}}}}

EXT: {[a,man,3sg,pst,meet,Bill,from,the,city],[and],[a,man,3sg,pst,arrive]}

Spellout: {[a,man,met,Bill,from,the,city],[and],[a,man,arrived]}

Blocked: inconsistent with input!

EXT: {[a,man,3sg,pst,meet,Bill,from,the,city],[and],[there,3sg,pst,arrive,a,man]}

Spellout: {[a,man,met,Bill,from,the,city],[and],[there,arrived,a,man]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {{Bill, {from_θ:θRnoun, city_the}}, {v_meet:θ:pst, {meet_θ, {Bill, {from_θ:θRnoun, city_the}}}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, man_a}}}}}

EXT: {[Bill,from,the,city,3sg,pst,meet,Bill,from,the,city],[and],[a,man,3sg,pst,arrive]}

Spellout: {[Bill,from,the,city,met,Bill,from,the,city],[and],[a,man,arrived]}

Blocked: inconsistent with input!

EXT: {[Bill,from,the,city,3sg,pst,meet,Bill,from,the,city],[and],[there,3sg,pst,arrive,a,man]}

Spellout: {[Bill,from,the,city,met,Bill,from,the,city],[and],[there,arrived,a,man]}

Blocked: inconsistent with input!

INT/EXT: {C, {INFL_v, {{v_arrive:pst, {arrive_θ, man_a}}, {man_a, {v_meet:θ:pst, {meet_θ, {Bill, {from_θ:θRnoun, city_the}}}}}}}}

EXT: a man {[3sg,pst,arrive],[and],[3sg,pst,meet,Bill,from,the,city]}

Spellout: a man {[arrived],[and],[met,Bill,from,the,city]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {v_arrive:pst, {arrive_θ, man_a}}}, {INFL_v, {man_a, {v_meet:θ:pst, {meet_θ, {Bill, {from_θ:θRnoun, city_the}}}}}}}}

EXT: {[a,man,3sg,pst,arrive],[and],[a,man,3sg,pst,meet,Bill,from,the,city]}

Spellout: {[a,man,arrived],[and],[a,man,met,Bill,from,the,city]}

Blocked: inconsistent with input!

EXT: {[there,3sg,pst,arrive,a,man],[and],[a,man,3sg,pst,meet,Bill,from,the,city]}

Spellout: {[there,arrived,a,man],[and],[a,man,met,Bill,from,the,city]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {v_arrive:pst, {arrive_θ, {Bill, {from_θ:θRnoun, city_the}}}}}, {INFL_v, {man_a, {v_meet:θ:pst, {meet_θ, {Bill, {from_θ:θRnoun, city_the}}}}}}}}

EXT: {[Bill,from,the,city,3sg,pst,arrive],[and],[a,man,3sg,pst,meet,Bill,from,the,city]}

Spellout: {[Bill,from,the,city,arrived],[and],[a,man,met,Bill,from,the,city]}

Blocked: inconsistent with input!

EXT: {[there,3sg,pst,arrive,Bill,from,the,city],[and],[a,man,3sg,pst,meet,Bill,from,the,city]}

Spellout: {[there,arrived,Bill,from,the,city],[and],[a,man,met,Bill,from,the,city]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {v_arrive:pst, {arrive_θ, city_the}}}, {INFL_v, {man_a, {v_meet:θ:pst, {meet_θ, {Bill, {from_θ:θRnoun, city_the}}}}}}}}

EXT: {[the,city,3sg,pst,arrive],[and],[a,man,3sg,pst,meet,Bill,from,the,city]}

Spellout: {[the,city,arrived],[and],[a,man,met,Bill,from,the,city]}

Blocked: inconsistent with input!

EXT: {[there,3sg,pst,arrive,the,city],[and],[a,man,3sg,pst,meet,Bill,from,the,city]}

Spellout: {[there,arrived,the,city],[and],[a,man,met,Bill,from,the,city]}

Blocked: inconsistent with input!

INT/EXT: {C, {INFL_v, {{{Bill, {from_θ:θRnoun, city_the}}, {v_meet:θ:pst, {meet_θ, man_a}}}, {v_arrive:pst, {arrive_θ, {Bill, {from_θ:θRnoun, city_the}}}}}}}

EXT: Bill from the city {[3sg,pst,meet,a,man],[and],[3sg,pst,arrive]}

Spellout: Bill from the city {[met,a,man],[and],[arrived]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {{Bill, {from_θ:θRnoun, city_the}}, {v_meet:θ:pst, {meet_θ, man_a}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, {Bill, {from_θ:θRnoun, city_the}}}}}}}

EXT: {[Bill,from,the,city,3sg,pst,meet,a,man],[and],[Bill,from,the,city,3sg,pst,arrive]}

Spellout: {[Bill,from,the,city,met,a,man],[and],[Bill,from,the,city,arrived]}

Blocked: inconsistent with input!

EXT: {[Bill,from,the,city,3sg,pst,meet,a,man],[and],[there,3sg,pst,arrive,Bill,from,the,city]}

Spellout: {[Bill,from,the,city,met,a,man],[and],[there,arrived,Bill,from,the,city]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {man_a, {v_meet:θ:pst, {meet_θ, man_a}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, {Bill, {from_θ:θRnoun, city_the}}}}}}}

EXT: {[a,man,3sg,pst,meet,a,man],[and],[Bill,from,the,city,3sg,pst,arrive]}

Spellout: {[a,man,met,a,man],[and],[Bill,from,the,city,arrived]}

Blocked: inconsistent with input!

EXT: {[a,man,3sg,pst,meet,a,man],[and],[there,3sg,pst,arrive,Bill,from,the,city]}

Spellout: {[a,man,met,a,man],[and],[there,arrived,Bill,from,the,city]}

Blocked: inconsistent with input!

INT/EXT: {C, {INFL_v, {{v_arrive:pst, {arrive_θ, {Bill, {from_θ:θRnoun, city_the}}}}, {{Bill, {from_θ:θRnoun, city_the}}, {v_meet:θ:pst, {meet_θ, man_a}}}}}}

EXT: Bill from the city {[3sg,pst,arrive],[and],[3sg,pst,meet,a,man]}

Spellout: Bill from the city {[arrived],[and],[met,a,man]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {v_arrive:pst, {arrive_θ, {Bill, {from_θ:θRnoun, city_the}}}}}, {INFL_v, {{Bill, {from_θ:θRnoun, city_the}}, {v_meet:θ:pst, {meet_θ, man_a}}}}}}

EXT: {[Bill,from,the,city,3sg,pst,arrive],[and],[Bill,from,the,city,3sg,pst,meet,a,man]}

Spellout: {[Bill,from,the,city,arrived],[and],[Bill,from,the,city,met,a,man]}

Blocked: inconsistent with input!

EXT: {[there,3sg,pst,arrive,Bill,from,the,city],[and],[Bill,from,the,city,3sg,pst,meet,a,man]}

Spellout: {[there,arrived,Bill,from,the,city],[and],[Bill,from,the,city,met,a,man]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {v_arrive:pst, {arrive_θ, man_a}}}, {INFL_v, {{Bill, {from_θ:θRnoun, city_the}}, {v_meet:θ:pst, {meet_θ, man_a}}}}}}

EXT: {[a,man,3sg,pst,arrive],[and],[Bill,from,the,city,3sg,pst,meet,a,man]}

Spellout: {[a,man,arrived],[and],[Bill,from,the,city,met,a,man]}

Blocked: inconsistent with input!

EXT: {[there,3sg,pst,arrive,a,man],[and],[Bill,from,the,city,3sg,pst,meet,a,man]}

Spellout: {[there,arrived,a,man],[and],[Bill,from,the,city,met,a,man]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {v_arrive:pst, {arrive_θ, city_the}}}, {INFL_v, {{Bill, {from_θ:θRnoun, city_the}}, {v_meet:θ:pst, {meet_θ, man_a}}}}}}

EXT: {[the,city,3sg,pst,arrive],[and],[Bill,from,the,city,3sg,pst,meet,a,man]}

Spellout: {[the,city,arrived],[and],[Bill,from,the,city,met,a,man]}

Blocked: inconsistent with input!

EXT: {[there,3sg,pst,arrive,the,city],[and],[Bill,from,the,city,3sg,pst,meet,a,man]}

Spellout: {[there,arrived,the,city],[and],[Bill,from,the,city,met,a,man]}

Blocked: inconsistent with input!

INT/EXT: {C, {INFL_v, {{{Bill, {from_θ:θRnoun, city_the}}, {v_meet:θ:pst, {meet_θ, man_a}}}, {v_arrive:pst, {arrive_θ, {Bill, {from_θ:θRnoun, city_the}}}}}}}

EXT: Bill from the city {[3sg,pst,meet,a,man],[and],[3sg,pst,arrive]}

Spellout: Bill from the city {[met,a,man],[and],[arrived]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {man_a, {v_meet:θ:pst, {meet_θ, man_a}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, {Bill, {from_θ:θRnoun, city_the}}}}}}}

EXT: {[a,man,3sg,pst,meet,a,man],[and],[Bill,from,the,city,3sg,pst,arrive]}

Spellout: {[a,man,met,a,man],[and],[Bill,from,the,city,arrived]}

Blocked: inconsistent with input!

EXT: {[a,man,3sg,pst,meet,a,man],[and],[there,3sg,pst,arrive,Bill,from,the,city]}

Spellout: {[a,man,met,a,man],[and],[there,arrived,Bill,from,the,city]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {{Bill, {from_θ:θRnoun, city_the}}, {v_meet:θ:pst, {meet_θ, man_a}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, {Bill, {from_θ:θRnoun, city_the}}}}}}}

EXT: {[Bill,from,the,city,3sg,pst,meet,a,man],[and],[Bill,from,the,city,3sg,pst,arrive]}

Spellout: {[Bill,from,the,city,met,a,man],[and],[Bill,from,the,city,arrived]}

Blocked: inconsistent with input!

EXT: {[Bill,from,the,city,3sg,pst,meet,a,man],[and],[there,3sg,pst,arrive,Bill,from,the,city]}

Spellout: {[Bill,from,the,city,met,a,man],[and],[there,arrived,Bill,from,the,city]}

Blocked: inconsistent with input!

INT/EXT: {C, {INFL_v, {{man_a, {v_meet:θ:pst, {meet_θ, {Bill, {from_θ:θRnoun, city_the}}}}}, {v_arrive:pst, {arrive_θ, man_a}}}}}

EXT: a man {[3sg,pst,meet,Bill,from,the,city],[and],[3sg,pst,arrive]}

Spellout: a man {[met,Bill,from,the,city],[and],[arrived]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {{Bill, {from_θ:θRnoun, city_the}}, {v_meet:θ:pst, {meet_θ, {Bill, {from_θ:θRnoun, city_the}}}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, man_a}}}}}

EXT: {[Bill,from,the,city,3sg,pst,meet,Bill,from,the,city],[and],[a,man,3sg,pst,arrive]}

Spellout: {[Bill,from,the,city,met,Bill,from,the,city],[and],[a,man,arrived]}

Blocked: inconsistent with input!

EXT: {[Bill,from,the,city,3sg,pst,meet,Bill,from,the,city],[and],[there,3sg,pst,arrive,a,man]}

Spellout: {[Bill,from,the,city,met,Bill,from,the,city],[and],[there,arrived,a,man]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {man_a, {v_meet:θ:pst, {meet_θ, {Bill, {from_θ:θRnoun, city_the}}}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, man_a}}}}}

EXT: {[a,man,3sg,pst,meet,Bill,from,the,city],[and],[a,man,3sg,pst,arrive]}

Spellout: {[a,man,met,Bill,from,the,city],[and],[a,man,arrived]}

Blocked: inconsistent with input!

EXT: {[a,man,3sg,pst,meet,Bill,from,the,city],[and],[there,3sg,pst,arrive,a,man]}

Spellout: {[a,man,met,Bill,from,the,city],[and],[there,arrived,a,man]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {{{Bill, {from_θ:θRnoun, city_the}}, man_a}, {v_meet:θ:pst, {meet_θ, {{Bill, {from_θ:θRnoun, city_the}}, man_a}}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, city_the}}}}}

EXT: {[[[Bill,from,the,city],[and],[a,man]],3sg,pst,meet,[[Bill,from,the,city],[and],[a,man]]],[and],[the,city,3sg,pst,arrive]}

Spellout: {[[[Bill,from,the,city],[and],[a,man]],met,[[Bill,from,the,city],[and],[a,man]]],[and],[the,city,arrived]}

Blocked: inconsistent with input!

EXT: {[[[Bill,from,the,city],[and],[a,man]],3sg,pst,meet,[[Bill,from,the,city],[and],[a,man]]],[and],[there,3sg,pst,arrive,the,city]}

Spellout: {[[[Bill,from,the,city],[and],[a,man]],met,[[Bill,from,the,city],[and],[a,man]]],[and],[there,arrived,the,city]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {v_arrive:pst, {arrive_θ, city_the}}}, {INFL_v, {{{Bill, {from_θ:θRnoun, city_the}}, man_a}, {v_meet:θ:pst, {meet_θ, {{Bill, {from_θ:θRnoun, city_the}}, man_a}}}}}}}

EXT: {[the,city,3sg,pst,arrive],[and],[[[Bill,from,the,city],[and],[a,man]],3sg,pst,meet,[[Bill,from,the,city],[and],[a,man]]]}

Spellout: {[the,city,arrived],[and],[[[Bill,from,the,city],[and],[a,man]],met,[[Bill,from,the,city],[and],[a,man]]]}

Blocked: inconsistent with input!

EXT: {[there,3sg,pst,arrive,the,city],[and],[[[Bill,from,the,city],[and],[a,man]],3sg,pst,meet,[[Bill,from,the,city],[and],[a,man]]]}

Spellout: {[there,arrived,the,city],[and],[[[Bill,from,the,city],[and],[a,man]],met,[[Bill,from,the,city],[and],[a,man]]]}

Blocked: inconsistent with input!

INT/EXT: {C, {INFL_v, {{Bill, {v_meet:θ:pst, {meet_θ, {man_a, {from_θ:θRnoun, city_the}}}}}, {v_arrive:pst, {arrive_θ, Bill}}}}}

EXT: Bill {[3sg,pst,meet,a,man,from,the,city],[and],[3sg,pst,arrive]}

Spellout: Bill {[met,a,man,from,the,city],[and],[arrived]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {Bill, {v_meet:θ:pst, {meet_θ, {man_a, {from_θ:θRnoun, city_the}}}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, Bill}}}}}

EXT: {[Bill,3sg,pst,meet,a,man,from,the,city],[and],[Bill,3sg,pst,arrive]}

Spellout: {[Bill,met,a,man,from,the,city],[and],[Bill,arrived]}

Blocked: inconsistent with input!

EXT: {[Bill,3sg,pst,meet,a,man,from,the,city],[and],[there,3sg,pst,arrive,Bill]}

Spellout: {[Bill,met,a,man,from,the,city],[and],[there,arrived,Bill]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {{man_a, {from_θ:θRnoun, city_the}}, {v_meet:θ:pst, {meet_θ, {man_a, {from_θ:θRnoun, city_the}}}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, Bill}}}}}

EXT: {[a,man,from,the,city,3sg,pst,meet,a,man,from,the,city],[and],[Bill,3sg,pst,arrive]}

Spellout: {[a,man,from,the,city,met,a,man,from,the,city],[and],[Bill,arrived]}

Blocked: inconsistent with input!

EXT: {[a,man,from,the,city,3sg,pst,meet,a,man,from,the,city],[and],[there,3sg,pst,arrive,Bill]}

Spellout: {[a,man,from,the,city,met,a,man,from,the,city],[and],[there,arrived,Bill]}

Blocked: inconsistent with input!

INT/EXT: {C, {INFL_v, {{v_arrive:pst, {arrive_θ, Bill}}, {Bill, {v_meet:θ:pst, {meet_θ, {man_a, {from_θ:θRnoun, city_the}}}}}}}}

EXT: Bill {[3sg,pst,arrive],[and],[3sg,pst,meet,a,man,from,the,city]}

Spellout: Bill {[arrived],[and],[met,a,man,from,the,city]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {v_arrive:pst, {arrive_θ, Bill}}}, {INFL_v, {Bill, {v_meet:θ:pst, {meet_θ, {man_a, {from_θ:θRnoun, city_the}}}}}}}}

EXT: {[Bill,3sg,pst,arrive],[and],[Bill,3sg,pst,meet,a,man,from,the,city]}

Spellout: {[Bill,arrived],[and],[Bill,met,a,man,from,the,city]}

Blocked: inconsistent with input!

EXT: {[there,3sg,pst,arrive,Bill],[and],[Bill,3sg,pst,meet,a,man,from,the,city]}

Spellout: {[there,arrived,Bill],[and],[Bill,met,a,man,from,the,city]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {v_arrive:pst, {arrive_θ, {man_a, {from_θ:θRnoun, city_the}}}}}, {INFL_v, {Bill, {v_meet:θ:pst, {meet_θ, {man_a, {from_θ:θRnoun, city_the}}}}}}}}

EXT: {[a,man,from,the,city,3sg,pst,arrive],[and],[Bill,3sg,pst,meet,a,man,from,the,city]}

Spellout: {[a,man,from,the,city,arrived],[and],[Bill,met,a,man,from,the,city]}

Blocked: inconsistent with input!

EXT: {[there,3sg,pst,arrive,a,man,from,the,city],[and],[Bill,3sg,pst,meet,a,man,from,the,city]}

Spellout: {[there,arrived,a,man,from,the,city],[and],[Bill,met,a,man,from,the,city]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {v_arrive:pst, {arrive_θ, city_the}}}, {INFL_v, {Bill, {v_meet:θ:pst, {meet_θ, {man_a, {from_θ:θRnoun, city_the}}}}}}}}

EXT: {[the,city,3sg,pst,arrive],[and],[Bill,3sg,pst,meet,a,man,from,the,city]}

Spellout: {[the,city,arrived],[and],[Bill,met,a,man,from,the,city]}

Blocked: inconsistent with input!

EXT: {[there,3sg,pst,arrive,the,city],[and],[Bill,3sg,pst,meet,a,man,from,the,city]}

Spellout: {[there,arrived,the,city],[and],[Bill,met,a,man,from,the,city]}

Blocked: inconsistent with input!

INT/EXT: {C, {INFL_v, {{{man_a, {from_θ:θRnoun, city_the}}, {v_meet:θ:pst, {meet_θ, Bill}}}, {v_arrive:pst, {arrive_θ, {man_a, {from_θ:θRnoun, city_the}}}}}}}

EXT: a man from the city {[3sg,pst,meet,Bill],[and],[3sg,pst,arrive]}

Spellout: a man from the city {[met,Bill],[and],[arrived]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {{man_a, {from_θ:θRnoun, city_the}}, {v_meet:θ:pst, {meet_θ, Bill}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, {man_a, {from_θ:θRnoun, city_the}}}}}}}

EXT: {[a,man,from,the,city,3sg,pst,meet,Bill],[and],[a,man,from,the,city,3sg,pst,arrive]}

Spellout: {[a,man,from,the,city,met,Bill],[and],[a,man,from,the,city,arrived]}

Blocked: inconsistent with input!

EXT: {[a,man,from,the,city,3sg,pst,meet,Bill],[and],[there,3sg,pst,arrive,a,man,from,the,city]}

Spellout: {[a,man,from,the,city,met,Bill],[and],[there,arrived,a,man,from,the,city]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {Bill, {v_meet:θ:pst, {meet_θ, Bill}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, {man_a, {from_θ:θRnoun, city_the}}}}}}}

EXT: {[Bill,3sg,pst,meet,Bill],[and],[a,man,from,the,city,3sg,pst,arrive]}

Spellout: {[Bill,met,Bill],[and],[a,man,from,the,city,arrived]}

Blocked: inconsistent with input!

EXT: {[Bill,3sg,pst,meet,Bill],[and],[there,3sg,pst,arrive,a,man,from,the,city]}

Spellout: {[Bill,met,Bill],[and],[there,arrived,a,man,from,the,city]}

Blocked: inconsistent with input!

INT/EXT: {C, {INFL_v, {{v_arrive:pst, {arrive_θ, {man_a, {from_θ:θRnoun, city_the}}}}, {{man_a, {from_θ:θRnoun, city_the}}, {v_meet:θ:pst, {meet_θ, Bill}}}}}}

EXT: a man from the city {[3sg,pst,arrive],[and],[3sg,pst,meet,Bill]}

Spellout: a man from the city {[arrived],[and],[met,Bill]}

Parse found!

S = {C, {INFL_v, {{v_arrive:pst, {arrive_θ, {man_a, {from_θ:θRnoun, city_the}}}}, {{man_a, {from_θ:θRnoun, city_the}}, {v_meet:θ:pst, {meet_θ, Bill}}}}}},

L = [a,man,from,the,city,[[arrived],[and],[met,Bill]]] ;

INT/EXT: {C, {{INFL_v, {v_arrive:pst, {arrive_θ, {man_a, {from_θ:θRnoun, city_the}}}}}, {INFL_v, {{man_a, {from_θ:θRnoun, city_the}}, {v_meet:θ:pst, {meet_θ, Bill}}}}}}

EXT: {[a,man,from,the,city,3sg,pst,arrive],[and],[a,man,from,the,city,3sg,pst,meet,Bill]}

Spellout: {[a,man,from,the,city,arrived],[and],[a,man,from,the,city,met,Bill]}

Blocked: inconsistent with input!

EXT: {[there,3sg,pst,arrive,a,man,from,the,city],[and],[a,man,from,the,city,3sg,pst,meet,Bill]}

Spellout: {[there,arrived,a,man,from,the,city],[and],[a,man,from,the,city,met,Bill]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {v_arrive:pst, {arrive_θ, Bill}}}, {INFL_v, {{man_a, {from_θ:θRnoun, city_the}}, {v_meet:θ:pst, {meet_θ, Bill}}}}}}

EXT: {[Bill,3sg,pst,arrive],[and],[a,man,from,the,city,3sg,pst,meet,Bill]}

Spellout: {[Bill,arrived],[and],[a,man,from,the,city,met,Bill]}

Blocked: inconsistent with input!

EXT: {[there,3sg,pst,arrive,Bill],[and],[a,man,from,the,city,3sg,pst,meet,Bill]}

Spellout: {[there,arrived,Bill],[and],[a,man,from,the,city,met,Bill]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {v_arrive:pst, {arrive_θ, city_the}}}, {INFL_v, {{man_a, {from_θ:θRnoun, city_the}}, {v_meet:θ:pst, {meet_θ, Bill}}}}}}

EXT: {[the,city,3sg,pst,arrive],[and],[a,man,from,the,city,3sg,pst,meet,Bill]}

Spellout: {[the,city,arrived],[and],[a,man,from,the,city,met,Bill]}

Blocked: inconsistent with input!

EXT: {[there,3sg,pst,arrive,the,city],[and],[a,man,from,the,city,3sg,pst,meet,Bill]}

Spellout: {[there,arrived,the,city],[and],[a,man,from,the,city,met,Bill]}

Blocked: inconsistent with input!

INT/EXT: {C, {INFL_v, {{{man_a, {from_θ:θRnoun, city_the}}, {v_meet:θ:pst, {meet_θ, Bill}}}, {v_arrive:pst, {arrive_θ, {man_a, {from_θ:θRnoun, city_the}}}}}}}

EXT: a man from the city {[3sg,pst,meet,Bill],[and],[3sg,pst,arrive]}

Spellout: a man from the city {[met,Bill],[and],[arrived]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {Bill, {v_meet:θ:pst, {meet_θ, Bill}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, {man_a, {from_θ:θRnoun, city_the}}}}}}}

EXT: {[Bill,3sg,pst,meet,Bill],[and],[a,man,from,the,city,3sg,pst,arrive]}

Spellout: {[Bill,met,Bill],[and],[a,man,from,the,city,arrived]}

Blocked: inconsistent with input!

EXT: {[Bill,3sg,pst,meet,Bill],[and],[there,3sg,pst,arrive,a,man,from,the,city]}

Spellout: {[Bill,met,Bill],[and],[there,arrived,a,man,from,the,city]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {{man_a, {from_θ:θRnoun, city_the}}, {v_meet:θ:pst, {meet_θ, Bill}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, {man_a, {from_θ:θRnoun, city_the}}}}}}}

EXT: {[a,man,from,the,city,3sg,pst,meet,Bill],[and],[a,man,from,the,city,3sg,pst,arrive]}

Spellout: {[a,man,from,the,city,met,Bill],[and],[a,man,from,the,city,arrived]}

Blocked: inconsistent with input!

EXT: {[a,man,from,the,city,3sg,pst,meet,Bill],[and],[there,3sg,pst,arrive,a,man,from,the,city]}

Spellout: {[a,man,from,the,city,met,Bill],[and],[there,arrived,a,man,from,the,city]}

Blocked: inconsistent with input!

INT/EXT: {C, {INFL_v, {{Bill, {v_meet:θ:pst, {meet_θ, {man_a, {from_θ:θRnoun, city_the}}}}}, {v_arrive:pst, {arrive_θ, Bill}}}}}

EXT: Bill {[3sg,pst,meet,a,man,from,the,city],[and],[3sg,pst,arrive]}

Spellout: Bill {[met,a,man,from,the,city],[and],[arrived]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {{man_a, {from_θ:θRnoun, city_the}}, {v_meet:θ:pst, {meet_θ, {man_a, {from_θ:θRnoun, city_the}}}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, Bill}}}}}

EXT: {[a,man,from,the,city,3sg,pst,meet,a,man,from,the,city],[and],[Bill,3sg,pst,arrive]}

Spellout: {[a,man,from,the,city,met,a,man,from,the,city],[and],[Bill,arrived]}

Blocked: inconsistent with input!

EXT: {[a,man,from,the,city,3sg,pst,meet,a,man,from,the,city],[and],[there,3sg,pst,arrive,Bill]}

Spellout: {[a,man,from,the,city,met,a,man,from,the,city],[and],[there,arrived,Bill]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {Bill, {v_meet:θ:pst, {meet_θ, {man_a, {from_θ:θRnoun, city_the}}}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, Bill}}}}}

EXT: {[Bill,3sg,pst,meet,a,man,from,the,city],[and],[Bill,3sg,pst,arrive]}

Spellout: {[Bill,met,a,man,from,the,city],[and],[Bill,arrived]}

Blocked: inconsistent with input!

EXT: {[Bill,3sg,pst,meet,a,man,from,the,city],[and],[there,3sg,pst,arrive,Bill]}

Spellout: {[Bill,met,a,man,from,the,city],[and],[there,arrived,Bill]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {{{man_a, {from_θ:θRnoun, city_the}}, Bill}, {v_meet:θ:pst, {meet_θ, {{man_a, {from_θ:θRnoun, city_the}}, Bill}}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, city_the}}}}}

EXT: {[[[a,man,from,the,city],[and],Bill],3sg,pst,meet,[[a,man,from,the,city],[and],Bill]],[and],[the,city,3sg,pst,arrive]}

Spellout: {[[[a,man,from,the,city],[and],Bill],met,[[a,man,from,the,city],[and],Bill]],[and],[the,city,arrived]}

Blocked: inconsistent with input!

EXT: {[[[a,man,from,the,city],[and],Bill],3sg,pst,meet,[[a,man,from,the,city],[and],Bill]],[and],[there,3sg,pst,arrive,the,city]}

Spellout: {[[[a,man,from,the,city],[and],Bill],met,[[a,man,from,the,city],[and],Bill]],[and],[there,arrived,the,city]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {v_arrive:pst, {arrive_θ, city_the}}}, {INFL_v, {{{man_a, {from_θ:θRnoun, city_the}}, Bill}, {v_meet:θ:pst, {meet_θ, {{man_a, {from_θ:θRnoun, city_the}}, Bill}}}}}}}

EXT: {[the,city,3sg,pst,arrive],[and],[[[a,man,from,the,city],[and],Bill],3sg,pst,meet,[[a,man,from,the,city],[and],Bill]]}

Spellout: {[the,city,arrived],[and],[[[a,man,from,the,city],[and],Bill],met,[[a,man,from,the,city],[and],Bill]]}

Blocked: inconsistent with input!

EXT: {[there,3sg,pst,arrive,the,city],[and],[[[a,man,from,the,city],[and],Bill],3sg,pst,meet,[[a,man,from,the,city],[and],Bill]]}

Spellout: {[there,arrived,the,city],[and],[[[a,man,from,the,city],[and],Bill],met,[[a,man,from,the,city],[and],Bill]]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {{Bill, {from_θ:θRnoun, man_a}}, {v_meet:θ:pst, {meet_θ, {Bill, {from_θ:θRnoun, man_a}}}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, city_the}}}}}

EXT: {[Bill,from,a,man,3sg,pst,meet,Bill,from,a,man],[and],[the,city,3sg,pst,arrive]}

Spellout: {[Bill,from,a,man,met,Bill,from,a,man],[and],[the,city,arrived]}

Blocked: inconsistent with input!

EXT: {[Bill,from,a,man,3sg,pst,meet,Bill,from,a,man],[and],[there,3sg,pst,arrive,the,city]}

Spellout: {[Bill,from,a,man,met,Bill,from,a,man],[and],[there,arrived,the,city]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {man_a, {v_meet:θ:pst, {meet_θ, {Bill, {from_θ:θRnoun, man_a}}}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, city_the}}}}}

EXT: {[a,man,3sg,pst,meet,Bill,from,a,man],[and],[the,city,3sg,pst,arrive]}

Spellout: {[a,man,met,Bill,from,a,man],[and],[the,city,arrived]}

Blocked: inconsistent with input!

EXT: {[a,man,3sg,pst,meet,Bill,from,a,man],[and],[there,3sg,pst,arrive,the,city]}

Spellout: {[a,man,met,Bill,from,a,man],[and],[there,arrived,the,city]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {{Bill, {from_θ:θRnoun, man_a}}, {v_meet:θ:pst, {meet_θ, {Bill, {from_θ:θRnoun, man_a}}}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, city_the}}}}}

EXT: {[Bill,from,a,man,3sg,pst,meet,Bill,from,a,man],[and],[the,city,3sg,pst,arrive]}

Spellout: {[Bill,from,a,man,met,Bill,from,a,man],[and],[the,city,arrived]}

Blocked: inconsistent with input!

EXT: {[Bill,from,a,man,3sg,pst,meet,Bill,from,a,man],[and],[there,3sg,pst,arrive,the,city]}

Spellout: {[Bill,from,a,man,met,Bill,from,a,man],[and],[there,arrived,the,city]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {man_a, {v_meet:θ:pst, {meet_θ, {Bill, {from_θ:θRnoun, man_a}}}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, city_the}}}}}

EXT: {[a,man,3sg,pst,meet,Bill,from,a,man],[and],[the,city,3sg,pst,arrive]}

Spellout: {[a,man,met,Bill,from,a,man],[and],[the,city,arrived]}

Blocked: inconsistent with input!

EXT: {[a,man,3sg,pst,meet,Bill,from,a,man],[and],[there,3sg,pst,arrive,the,city]}

Spellout: {[a,man,met,Bill,from,a,man],[and],[there,arrived,the,city]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {Bill, {v_meet:θ:pst, {meet_θ, Bill}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, {city_the, {from_θ:θRnoun, man_a}}}}}}}

EXT: {[Bill,3sg,pst,meet,Bill],[and],[the,city,from,a,man,3sg,pst,arrive]}

Spellout: {[Bill,met,Bill],[and],[the,city,from,a,man,arrived]}

Blocked: inconsistent with input!

EXT: {[Bill,3sg,pst,meet,Bill],[and],[there,3sg,pst,arrive,the,city,from,a,man]}

Spellout: {[Bill,met,Bill],[and],[there,arrived,the,city,from,a,man]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {man_a, {v_meet:θ:pst, {meet_θ, Bill}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, {city_the, {from_θ:θRnoun, man_a}}}}}}}

EXT: {[a,man,3sg,pst,meet,Bill],[and],[the,city,from,a,man,3sg,pst,arrive]}

Spellout: {[a,man,met,Bill],[and],[the,city,from,a,man,arrived]}

Blocked: inconsistent with input!

EXT: {[a,man,3sg,pst,meet,Bill],[and],[there,3sg,pst,arrive,the,city,from,a,man]}

Spellout: {[a,man,met,Bill],[and],[there,arrived,the,city,from,a,man]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {Bill, {v_meet:θ:pst, {meet_θ, Bill}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, {city_the, {from_θ:θRnoun, man_a}}}}}}}

EXT: {[Bill,3sg,pst,meet,Bill],[and],[the,city,from,a,man,3sg,pst,arrive]}

Spellout: {[Bill,met,Bill],[and],[the,city,from,a,man,arrived]}

Blocked: inconsistent with input!

EXT: {[Bill,3sg,pst,meet,Bill],[and],[there,3sg,pst,arrive,the,city,from,a,man]}

Spellout: {[Bill,met,Bill],[and],[there,arrived,the,city,from,a,man]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {man_a, {v_meet:θ:pst, {meet_θ, Bill}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, {city_the, {from_θ:θRnoun, man_a}}}}}}}

EXT: {[a,man,3sg,pst,meet,Bill],[and],[the,city,from,a,man,3sg,pst,arrive]}

Spellout: {[a,man,met,Bill],[and],[the,city,from,a,man,arrived]}

Blocked: inconsistent with input!

EXT: {[a,man,3sg,pst,meet,Bill],[and],[there,3sg,pst,arrive,the,city,from,a,man]}

Spellout: {[a,man,met,Bill],[and],[there,arrived,the,city,from,a,man]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {{man_a, {from_θ:θRnoun, {Bill, city_the}}}, {v_meet:θ:pst, {meet_θ, {man_a, {from_θ:θRnoun, {Bill, city_the}}}}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, {Bill, city_the}}}}}}

EXT: {[a,man,from,[Bill,[and],[the,city]],3sg,pst,meet,a,man,from,[Bill,[and],[the,city]]],[and],[[Bill,[and],[the,city]],3sg,pst,arrive]}

Spellout: {[a,man,from,[Bill,[and],[the,city]],met,a,man,from,[Bill,[and],[the,city]]],[and],[[Bill,[and],[the,city]],arrived]}

Blocked: inconsistent with input!

EXT: {[a,man,from,[Bill,[and],[the,city]],3sg,pst,meet,a,man,from,[Bill,[and],[the,city]]],[and],[there,3sg,pst,arrive,[Bill,[and],[the,city]]]}

Spellout: {[a,man,from,[Bill,[and],[the,city]],met,a,man,from,[Bill,[and],[the,city]]],[and],[there,arrived,[Bill,[and],[the,city]]]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {v_arrive:pst, {arrive_θ, {Bill, city_the}}}}, {INFL_v, {{man_a, {from_θ:θRnoun, {Bill, city_the}}}, {v_meet:θ:pst, {meet_θ, {man_a, {from_θ:θRnoun, {Bill, city_the}}}}}}}}}

EXT: {[[Bill,[and],[the,city]],3sg,pst,arrive],[and],[a,man,from,[Bill,[and],[the,city]],3sg,pst,meet,a,man,from,[Bill,[and],[the,city]]]}

Spellout: {[[Bill,[and],[the,city]],arrived],[and],[a,man,from,[Bill,[and],[the,city]],met,a,man,from,[Bill,[and],[the,city]]]}

Blocked: inconsistent with input!

EXT: {[there,3sg,pst,arrive,[Bill,[and],[the,city]]],[and],[a,man,from,[Bill,[and],[the,city]],3sg,pst,meet,a,man,from,[Bill,[and],[the,city]]]}

Spellout: {[there,arrived,[Bill,[and],[the,city]]],[and],[a,man,from,[Bill,[and],[the,city]],met,a,man,from,[Bill,[and],[the,city]]]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {{Bill, {from_θ:θRnoun, {city_the, man_a}}}, {v_meet:θ:pst, {meet_θ, {Bill, {from_θ:θRnoun, {city_the, man_a}}}}}}}, {INFL_v, {v_arrive:pst, {arrive_θ, {city_the, man_a}}}}}}

EXT: {[Bill,from,[[the,city],[and],[a,man]],3sg,pst,meet,Bill,from,[[the,city],[and],[a,man]]],[and],[[[the,city],[and],[a,man]],3sg,pst,arrive]}

Spellout: {[Bill,from,[[the,city],[and],[a,man]],met,Bill,from,[[the,city],[and],[a,man]]],[and],[[[the,city],[and],[a,man]],arrived]}

Blocked: inconsistent with input!

EXT: {[Bill,from,[[the,city],[and],[a,man]],3sg,pst,meet,Bill,from,[[the,city],[and],[a,man]]],[and],[there,3sg,pst,arrive,[[the,city],[and],[a,man]]]}

Spellout: {[Bill,from,[[the,city],[and],[a,man]],met,Bill,from,[[the,city],[and],[a,man]]],[and],[there,arrived,[[the,city],[and],[a,man]]]}

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {v_arrive:pst, {arrive_θ, {city_the, man_a}}}}, {INFL_v, {{Bill, {from_θ:θRnoun, {city_the, man_a}}}, {v_meet:θ:pst, {meet_θ, {Bill, {from_θ:θRnoun, {city_the, man_a}}}}}}}}}

EXT: {[[[the,city],[and],[a,man]],3sg,pst,arrive],[and],[Bill,from,[[the,city],[and],[a,man]],3sg,pst,meet,Bill,from,[[the,city],[and],[a,man]]]}

Spellout: {[[[the,city],[and],[a,man]],arrived],[and],[Bill,from,[[the,city],[and],[a,man]],met,Bill,from,[[the,city],[and],[a,man]]]}

Blocked: inconsistent with input!

EXT: {[there,3sg,pst,arrive,[[the,city],[and],[a,man]]],[and],[Bill,from,[[the,city],[and],[a,man]],3sg,pst,meet,Bill,from,[[the,city],[and],[a,man]]]}

Spellout: {[there,arrived,[[the,city],[and],[a,man]]],[and],[Bill,from,[[the,city],[and],[a,man]],met,Bill,from,[[the,city],[and],[a,man]]]}