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([did,'John',arrive,and,meet,'Bill'],S,L).

Words: did John arrive and meet Bill 

Initial WS: Bill  meet_θ  v_meet:θ:pst:ext(do)  arrive_θ  v_arrive:pres  INFL_v  John  INFL_v  

INT/EXT: {C, {INFL_v, {{John, {v_meet:θ:pst:ext(do), {meet_θ, Bill}}}, {v_arrive:pres, {arrive_θ, John}}}}}

EXT: John {[3sg,pst,meet,Bill],[and],[3sg,pres,arrive]} 

Spellout: John {[meeted,Bill],[and],[arrives]} 

Blocked: inconsistent with input!

INT/EXT: {C_Q_aux(null,pst,meet), {INFL_v, {{John, {v_meet:θ:pst:ext(do), {meet_θ, Bill}}}, {v_arrive:pres, {arrive_θ, John}}}}}

EXT: null pst meet →→ John {[3sg,pst,meet,Bill],[and],[3sg,pres,arrive]} 

Spellout: 3sg pst do John {[meet,Bill],[and],[arrive]} 

Spellout: did John {[meet,Bill],[and],[arrive]} 

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {John, {v_meet:θ:pst:ext(do), {meet_θ, Bill}}}}, {INFL_v, {v_arrive:pres, {arrive_θ, John}}}}}

EXT: {[John,3sg,pst,meet,Bill],[and],[John,3sg,pres,arrive]} 

Spellout: {[John,meeted,Bill],[and],[John,arrives]} 

Blocked: inconsistent with input!

EXT: {[John,3sg,pst,meet,Bill],[and],[there,3sg,pres,arrive,John]} 

Spellout: {[John,meeted,Bill],[and],[there,arrives,John]} 

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {Bill, {v_meet:θ:pst:ext(do), {meet_θ, Bill}}}}, {INFL_v, {v_arrive:pres, {arrive_θ, John}}}}}

EXT: {[Bill,3sg,pst,meet,Bill],[and],[John,3sg,pres,arrive]} 

Spellout: {[Bill,meeted,Bill],[and],[John,arrives]} 

Blocked: inconsistent with input!

EXT: {[Bill,3sg,pst,meet,Bill],[and],[there,3sg,pres,arrive,John]} 

Spellout: {[Bill,meeted,Bill],[and],[there,arrives,John]} 

Blocked: inconsistent with input!

INT/EXT: {C, {INFL_v, {{v_arrive:pres, {arrive_θ, John}}, {John, {v_meet:θ:pst:ext(do), {meet_θ, Bill}}}}}}

EXT: John {[3sg,pres,arrive],[and],[3sg,pst,meet,Bill]} 

Spellout: John {[arrives],[and],[meeted,Bill]} 

Blocked: inconsistent with input!

INT/EXT: {C_Q_aux(null,pst,meet), {INFL_v, {{v_arrive:pres, {arrive_θ, John}}, {John, {v_meet:θ:pst:ext(do), {meet_θ, Bill}}}}}}

EXT: null pst meet →→ John {[3sg,pres,arrive],[and],[3sg,pst,meet,Bill]} 

Spellout: null pst meet John {[3sg,pres,arrive],[and],[3sg,pst,meet,Bill]} 

Error: Morpheme "null" unattached!

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {v_arrive:pres, {arrive_θ, John}}}, {INFL_v, {John, {v_meet:θ:pst:ext(do), {meet_θ, Bill}}}}}}

EXT: {[John,3sg,pres,arrive],[and],[John,3sg,pst,meet,Bill]} 

Spellout: {[John,arrives],[and],[John,meeted,Bill]} 

Blocked: inconsistent with input!

EXT: {[there,3sg,pres,arrive,John],[and],[John,3sg,pst,meet,Bill]} 

Spellout: {[there,arrives,John],[and],[John,meeted,Bill]} 

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {v_arrive:pres, {arrive_θ, Bill}}}, {INFL_v, {John, {v_meet:θ:pst:ext(do), {meet_θ, Bill}}}}}}

EXT: {[Bill,3sg,pres,arrive],[and],[John,3sg,pst,meet,Bill]} 

Spellout: {[Bill,arrives],[and],[John,meeted,Bill]} 

Blocked: inconsistent with input!

EXT: {[there,3sg,pres,arrive,Bill],[and],[John,3sg,pst,meet,Bill]} 

Spellout: {[there,arrives,Bill],[and],[John,meeted,Bill]} 

Blocked: inconsistent with input!

INT/EXT: {C, {INFL_v, {{Bill, {v_meet:θ:pst:ext(do), {meet_θ, John}}}, {v_arrive:pres, {arrive_θ, Bill}}}}}

EXT: Bill {[3sg,pst,meet,John],[and],[3sg,pres,arrive]} 

Spellout: Bill {[meeted,John],[and],[arrives]} 

Blocked: inconsistent with input!

INT/EXT: {C_Q_aux(null,pst,meet), {INFL_v, {{Bill, {v_meet:θ:pst:ext(do), {meet_θ, John}}}, {v_arrive:pres, {arrive_θ, Bill}}}}}

EXT: null pst meet →→ Bill {[3sg,pst,meet,John],[and],[3sg,pres,arrive]} 

Spellout: 3sg pst do Bill {[meet,John],[and],[arrive]} 

Spellout: did Bill {[meet,John],[and],[arrive]} 

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {Bill, {v_meet:θ:pst:ext(do), {meet_θ, John}}}}, {INFL_v, {v_arrive:pres, {arrive_θ, Bill}}}}}

EXT: {[Bill,3sg,pst,meet,John],[and],[Bill,3sg,pres,arrive]} 

Spellout: {[Bill,meeted,John],[and],[Bill,arrives]} 

Blocked: inconsistent with input!

EXT: {[Bill,3sg,pst,meet,John],[and],[there,3sg,pres,arrive,Bill]} 

Spellout: {[Bill,meeted,John],[and],[there,arrives,Bill]} 

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {John, {v_meet:θ:pst:ext(do), {meet_θ, John}}}}, {INFL_v, {v_arrive:pres, {arrive_θ, Bill}}}}}

EXT: {[John,3sg,pst,meet,John],[and],[Bill,3sg,pres,arrive]} 

Spellout: {[John,meeted,John],[and],[Bill,arrives]} 

Blocked: inconsistent with input!

EXT: {[John,3sg,pst,meet,John],[and],[there,3sg,pres,arrive,Bill]} 

Spellout: {[John,meeted,John],[and],[there,arrives,Bill]} 

Blocked: inconsistent with input!

INT/EXT: {C, {INFL_v, {{v_arrive:pres, {arrive_θ, Bill}}, {Bill, {v_meet:θ:pst:ext(do), {meet_θ, John}}}}}}

EXT: Bill {[3sg,pres,arrive],[and],[3sg,pst,meet,John]} 

Spellout: Bill {[arrives],[and],[meeted,John]} 

Blocked: inconsistent with input!

INT/EXT: {C_Q_aux(null,pst,meet), {INFL_v, {{v_arrive:pres, {arrive_θ, Bill}}, {Bill, {v_meet:θ:pst:ext(do), {meet_θ, John}}}}}}

EXT: null pst meet →→ Bill {[3sg,pres,arrive],[and],[3sg,pst,meet,John]} 

Spellout: null pst meet Bill {[3sg,pres,arrive],[and],[3sg,pst,meet,John]} 

Error: Morpheme "null" unattached!

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {v_arrive:pres, {arrive_θ, Bill}}}, {INFL_v, {Bill, {v_meet:θ:pst:ext(do), {meet_θ, John}}}}}}

EXT: {[Bill,3sg,pres,arrive],[and],[Bill,3sg,pst,meet,John]} 

Spellout: {[Bill,arrives],[and],[Bill,meeted,John]} 

Blocked: inconsistent with input!

EXT: {[there,3sg,pres,arrive,Bill],[and],[Bill,3sg,pst,meet,John]} 

Spellout: {[there,arrives,Bill],[and],[Bill,meeted,John]} 

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {v_arrive:pres, {arrive_θ, John}}}, {INFL_v, {Bill, {v_meet:θ:pst:ext(do), {meet_θ, John}}}}}}

EXT: {[John,3sg,pres,arrive],[and],[Bill,3sg,pst,meet,John]} 

Spellout: {[John,arrives],[and],[Bill,meeted,John]} 

Blocked: inconsistent with input!

EXT: {[there,3sg,pres,arrive,John],[and],[Bill,3sg,pst,meet,John]} 

Spellout: {[there,arrives,John],[and],[Bill,meeted,John]} 

Blocked: inconsistent with input!

INT/EXT: {C, {INFL_v, {{Bill, {v_meet:θ:pst:ext(do), {meet_θ, John}}}, {v_arrive:pres, {arrive_θ, Bill}}}}}

EXT: Bill {[3sg,pst,meet,John],[and],[3sg,pres,arrive]} 

Spellout: Bill {[meeted,John],[and],[arrives]} 

Blocked: inconsistent with input!

INT/EXT: {C_Q_aux(null,pst,meet), {INFL_v, {{Bill, {v_meet:θ:pst:ext(do), {meet_θ, John}}}, {v_arrive:pres, {arrive_θ, Bill}}}}}

EXT: null pst meet →→ Bill {[3sg,pst,meet,John],[and],[3sg,pres,arrive]} 

Spellout: 3sg pst do Bill {[meet,John],[and],[arrive]} 

Spellout: did Bill {[meet,John],[and],[arrive]} 

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {John, {v_meet:θ:pst:ext(do), {meet_θ, John}}}}, {INFL_v, {v_arrive:pres, {arrive_θ, Bill}}}}}

EXT: {[John,3sg,pst,meet,John],[and],[Bill,3sg,pres,arrive]} 

Spellout: {[John,meeted,John],[and],[Bill,arrives]} 

Blocked: inconsistent with input!

EXT: {[John,3sg,pst,meet,John],[and],[there,3sg,pres,arrive,Bill]} 

Spellout: {[John,meeted,John],[and],[there,arrives,Bill]} 

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {Bill, {v_meet:θ:pst:ext(do), {meet_θ, John}}}}, {INFL_v, {v_arrive:pres, {arrive_θ, Bill}}}}}

EXT: {[Bill,3sg,pst,meet,John],[and],[Bill,3sg,pres,arrive]} 

Spellout: {[Bill,meeted,John],[and],[Bill,arrives]} 

Blocked: inconsistent with input!

EXT: {[Bill,3sg,pst,meet,John],[and],[there,3sg,pres,arrive,Bill]} 

Spellout: {[Bill,meeted,John],[and],[there,arrives,Bill]} 

Blocked: inconsistent with input!

INT/EXT: {C, {INFL_v, {{John, {v_meet:θ:pst:ext(do), {meet_θ, Bill}}}, {v_arrive:pres, {arrive_θ, John}}}}}

EXT: John {[3sg,pst,meet,Bill],[and],[3sg,pres,arrive]} 

Spellout: John {[meeted,Bill],[and],[arrives]} 

Blocked: inconsistent with input!

INT/EXT: {C_Q_aux(null,pst,meet), {INFL_v, {{John, {v_meet:θ:pst:ext(do), {meet_θ, Bill}}}, {v_arrive:pres, {arrive_θ, John}}}}}

EXT: null pst meet →→ John {[3sg,pst,meet,Bill],[and],[3sg,pres,arrive]} 

Spellout: 3sg pst do John {[meet,Bill],[and],[arrive]} 

Spellout: did John {[meet,Bill],[and],[arrive]} 

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {Bill, {v_meet:θ:pst:ext(do), {meet_θ, Bill}}}}, {INFL_v, {v_arrive:pres, {arrive_θ, John}}}}}

EXT: {[Bill,3sg,pst,meet,Bill],[and],[John,3sg,pres,arrive]} 

Spellout: {[Bill,meeted,Bill],[and],[John,arrives]} 

Blocked: inconsistent with input!

EXT: {[Bill,3sg,pst,meet,Bill],[and],[there,3sg,pres,arrive,John]} 

Spellout: {[Bill,meeted,Bill],[and],[there,arrives,John]} 

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {John, {v_meet:θ:pst:ext(do), {meet_θ, Bill}}}}, {INFL_v, {v_arrive:pres, {arrive_θ, John}}}}}

EXT: {[John,3sg,pst,meet,Bill],[and],[John,3sg,pres,arrive]} 

Spellout: {[John,meeted,Bill],[and],[John,arrives]} 

Blocked: inconsistent with input!

EXT: {[John,3sg,pst,meet,Bill],[and],[there,3sg,pres,arrive,John]} 

Spellout: {[John,meeted,Bill],[and],[there,arrives,John]} 

Blocked: inconsistent with input!

Initial WS: Bill  meet_θ  v_meet:θ:pres  INFL_v  arrive_θ  v_arrive:pst:ext(do)  John  INFL_v  

INT/EXT: {C, {INFL_v, {{John, {v_meet:θ:pres, {meet_θ, Bill}}}, {v_arrive:pst:ext(do), {arrive_θ, John}}}}}

EXT: John {[3sg,pres,meet,Bill],[and],[3sg,pst,arrive]} 

Spellout: John {[meets,Bill],[and],[arrived]} 

Blocked: inconsistent with input!

INT/EXT: {C_Q_aux(null,pst,arrive), {INFL_v, {{John, {v_meet:θ:pres, {meet_θ, Bill}}}, {v_arrive:pst:ext(do), {arrive_θ, John}}}}}

EXT: null pst arrive →→ John {[3sg,pres,meet,Bill],[and],[3sg,pst,arrive]} 

Spellout: null pst arrive John {[3sg,pres,meet,Bill],[and],[3sg,pst,arrive]} 

Error: Morpheme "null" unattached!

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {John, {v_meet:θ:pres, {meet_θ, Bill}}}}, {INFL_v, {v_arrive:pst:ext(do), {arrive_θ, John}}}}}

EXT: {[John,3sg,pres,meet,Bill],[and],[John,3sg,pst,arrive]} 

Spellout: {[John,meets,Bill],[and],[John,arrived]} 

Blocked: inconsistent with input!

EXT: {[John,3sg,pres,meet,Bill],[and],[there,3sg,pst,arrive,John]} 

Spellout: {[John,meets,Bill],[and],[there,arrived,John]} 

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {Bill, {v_meet:θ:pres, {meet_θ, Bill}}}}, {INFL_v, {v_arrive:pst:ext(do), {arrive_θ, John}}}}}

EXT: {[Bill,3sg,pres,meet,Bill],[and],[John,3sg,pst,arrive]} 

Spellout: {[Bill,meets,Bill],[and],[John,arrived]} 

Blocked: inconsistent with input!

EXT: {[Bill,3sg,pres,meet,Bill],[and],[there,3sg,pst,arrive,John]} 

Spellout: {[Bill,meets,Bill],[and],[there,arrived,John]} 

Blocked: inconsistent with input!

INT/EXT: {C, {INFL_v, {{v_arrive:pst:ext(do), {arrive_θ, John}}, {John, {v_meet:θ:pres, {meet_θ, Bill}}}}}}

EXT: John {[3sg,pst,arrive],[and],[3sg,pres,meet,Bill]} 

Spellout: John {[arrived],[and],[meets,Bill]} 

Blocked: inconsistent with input!

INT/EXT: {C_Q_aux(null,pst,arrive), {INFL_v, {{v_arrive:pst:ext(do), {arrive_θ, John}}, {John, {v_meet:θ:pres, {meet_θ, Bill}}}}}}

EXT: null pst arrive →→ John {[3sg,pst,arrive],[and],[3sg,pres,meet,Bill]} 

Spellout: 3sg pst do John {[arrive],[and],[meet,Bill]} 

Spellout: did John {[arrive],[and],[meet,Bill]} 

Parse found! 

S = {C_Q_aux(null,pst,arrive), {INFL_v, {{v_arrive:pst:ext(do), {arrive_θ, John}}, {John, {v_meet:θ:pres, {meet_θ, Bill}}}}}},

L = [did,John,[[arrive],[and],[meet,Bill]]] ;

INT/EXT: {C, {{INFL_v, {v_arrive:pst:ext(do), {arrive_θ, John}}}, {INFL_v, {John, {v_meet:θ:pres, {meet_θ, Bill}}}}}}

EXT: {[John,3sg,pst,arrive],[and],[John,3sg,pres,meet,Bill]} 

Spellout: {[John,arrived],[and],[John,meets,Bill]} 

Blocked: inconsistent with input!

EXT: {[there,3sg,pst,arrive,John],[and],[John,3sg,pres,meet,Bill]} 

Spellout: {[there,arrived,John],[and],[John,meets,Bill]} 

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {v_arrive:pst:ext(do), {arrive_θ, Bill}}}, {INFL_v, {John, {v_meet:θ:pres, {meet_θ, Bill}}}}}}

EXT: {[Bill,3sg,pst,arrive],[and],[John,3sg,pres,meet,Bill]} 

Spellout: {[Bill,arrived],[and],[John,meets,Bill]} 

Blocked: inconsistent with input!

EXT: {[there,3sg,pst,arrive,Bill],[and],[John,3sg,pres,meet,Bill]} 

Spellout: {[there,arrived,Bill],[and],[John,meets,Bill]} 

Blocked: inconsistent with input!

INT/EXT: {C, {INFL_v, {{Bill, {v_meet:θ:pres, {meet_θ, John}}}, {v_arrive:pst:ext(do), {arrive_θ, Bill}}}}}

EXT: Bill {[3sg,pres,meet,John],[and],[3sg,pst,arrive]} 

Spellout: Bill {[meets,John],[and],[arrived]} 

Blocked: inconsistent with input!

INT/EXT: {C_Q_aux(null,pst,arrive), {INFL_v, {{Bill, {v_meet:θ:pres, {meet_θ, John}}}, {v_arrive:pst:ext(do), {arrive_θ, Bill}}}}}

EXT: null pst arrive →→ Bill {[3sg,pres,meet,John],[and],[3sg,pst,arrive]} 

Spellout: null pst arrive Bill {[3sg,pres,meet,John],[and],[3sg,pst,arrive]} 

Error: Morpheme "null" unattached!

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {Bill, {v_meet:θ:pres, {meet_θ, John}}}}, {INFL_v, {v_arrive:pst:ext(do), {arrive_θ, Bill}}}}}

EXT: {[Bill,3sg,pres,meet,John],[and],[Bill,3sg,pst,arrive]} 

Spellout: {[Bill,meets,John],[and],[Bill,arrived]} 

Blocked: inconsistent with input!

EXT: {[Bill,3sg,pres,meet,John],[and],[there,3sg,pst,arrive,Bill]} 

Spellout: {[Bill,meets,John],[and],[there,arrived,Bill]} 

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {John, {v_meet:θ:pres, {meet_θ, John}}}}, {INFL_v, {v_arrive:pst:ext(do), {arrive_θ, Bill}}}}}

EXT: {[John,3sg,pres,meet,John],[and],[Bill,3sg,pst,arrive]} 

Spellout: {[John,meets,John],[and],[Bill,arrived]} 

Blocked: inconsistent with input!

EXT: {[John,3sg,pres,meet,John],[and],[there,3sg,pst,arrive,Bill]} 

Spellout: {[John,meets,John],[and],[there,arrived,Bill]} 

Blocked: inconsistent with input!

INT/EXT: {C, {INFL_v, {{v_arrive:pst:ext(do), {arrive_θ, Bill}}, {Bill, {v_meet:θ:pres, {meet_θ, John}}}}}}

EXT: Bill {[3sg,pst,arrive],[and],[3sg,pres,meet,John]} 

Spellout: Bill {[arrived],[and],[meets,John]} 

Blocked: inconsistent with input!

INT/EXT: {C_Q_aux(null,pst,arrive), {INFL_v, {{v_arrive:pst:ext(do), {arrive_θ, Bill}}, {Bill, {v_meet:θ:pres, {meet_θ, John}}}}}}

EXT: null pst arrive →→ Bill {[3sg,pst,arrive],[and],[3sg,pres,meet,John]} 

Spellout: 3sg pst do Bill {[arrive],[and],[meet,John]} 

Spellout: did Bill {[arrive],[and],[meet,John]} 

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {v_arrive:pst:ext(do), {arrive_θ, Bill}}}, {INFL_v, {Bill, {v_meet:θ:pres, {meet_θ, John}}}}}}

EXT: {[Bill,3sg,pst,arrive],[and],[Bill,3sg,pres,meet,John]} 

Spellout: {[Bill,arrived],[and],[Bill,meets,John]} 

Blocked: inconsistent with input!

EXT: {[there,3sg,pst,arrive,Bill],[and],[Bill,3sg,pres,meet,John]} 

Spellout: {[there,arrived,Bill],[and],[Bill,meets,John]} 

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {v_arrive:pst:ext(do), {arrive_θ, John}}}, {INFL_v, {Bill, {v_meet:θ:pres, {meet_θ, John}}}}}}

EXT: {[John,3sg,pst,arrive],[and],[Bill,3sg,pres,meet,John]} 

Spellout: {[John,arrived],[and],[Bill,meets,John]} 

Blocked: inconsistent with input!

EXT: {[there,3sg,pst,arrive,John],[and],[Bill,3sg,pres,meet,John]} 

Spellout: {[there,arrived,John],[and],[Bill,meets,John]} 

Blocked: inconsistent with input!

INT/EXT: {C, {INFL_v, {{Bill, {v_meet:θ:pres, {meet_θ, John}}}, {v_arrive:pst:ext(do), {arrive_θ, Bill}}}}}

EXT: Bill {[3sg,pres,meet,John],[and],[3sg,pst,arrive]} 

Spellout: Bill {[meets,John],[and],[arrived]} 

Blocked: inconsistent with input!

INT/EXT: {C_Q_aux(null,pst,arrive), {INFL_v, {{Bill, {v_meet:θ:pres, {meet_θ, John}}}, {v_arrive:pst:ext(do), {arrive_θ, Bill}}}}}

EXT: null pst arrive →→ Bill {[3sg,pres,meet,John],[and],[3sg,pst,arrive]} 

Spellout: null pst arrive Bill {[3sg,pres,meet,John],[and],[3sg,pst,arrive]} 

Error: Morpheme "null" unattached!

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {John, {v_meet:θ:pres, {meet_θ, John}}}}, {INFL_v, {v_arrive:pst:ext(do), {arrive_θ, Bill}}}}}

EXT: {[John,3sg,pres,meet,John],[and],[Bill,3sg,pst,arrive]} 

Spellout: {[John,meets,John],[and],[Bill,arrived]} 

Blocked: inconsistent with input!

EXT: {[John,3sg,pres,meet,John],[and],[there,3sg,pst,arrive,Bill]} 

Spellout: {[John,meets,John],[and],[there,arrived,Bill]} 

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {Bill, {v_meet:θ:pres, {meet_θ, John}}}}, {INFL_v, {v_arrive:pst:ext(do), {arrive_θ, Bill}}}}}

EXT: {[Bill,3sg,pres,meet,John],[and],[Bill,3sg,pst,arrive]} 

Spellout: {[Bill,meets,John],[and],[Bill,arrived]} 

Blocked: inconsistent with input!

EXT: {[Bill,3sg,pres,meet,John],[and],[there,3sg,pst,arrive,Bill]} 

Spellout: {[Bill,meets,John],[and],[there,arrived,Bill]} 

Blocked: inconsistent with input!

INT/EXT: {C, {INFL_v, {{John, {v_meet:θ:pres, {meet_θ, Bill}}}, {v_arrive:pst:ext(do), {arrive_θ, John}}}}}

EXT: John {[3sg,pres,meet,Bill],[and],[3sg,pst,arrive]} 

Spellout: John {[meets,Bill],[and],[arrived]} 

Blocked: inconsistent with input!

INT/EXT: {C_Q_aux(null,pst,arrive), {INFL_v, {{John, {v_meet:θ:pres, {meet_θ, Bill}}}, {v_arrive:pst:ext(do), {arrive_θ, John}}}}}

EXT: null pst arrive →→ John {[3sg,pres,meet,Bill],[and],[3sg,pst,arrive]} 

Spellout: null pst arrive John {[3sg,pres,meet,Bill],[and],[3sg,pst,arrive]} 

Error: Morpheme "null" unattached!

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {Bill, {v_meet:θ:pres, {meet_θ, Bill}}}}, {INFL_v, {v_arrive:pst:ext(do), {arrive_θ, John}}}}}

EXT: {[Bill,3sg,pres,meet,Bill],[and],[John,3sg,pst,arrive]} 

Spellout: {[Bill,meets,Bill],[and],[John,arrived]} 

Blocked: inconsistent with input!

EXT: {[Bill,3sg,pres,meet,Bill],[and],[there,3sg,pst,arrive,John]} 

Spellout: {[Bill,meets,Bill],[and],[there,arrived,John]} 

Blocked: inconsistent with input!

INT/EXT: {C, {{INFL_v, {John, {v_meet:θ:pres, {meet_θ, Bill}}}}, {INFL_v, {v_arrive:pst:ext(do), {arrive_θ, John}}}}}

EXT: {[John,3sg,pres,meet,Bill],[and],[John,3sg,pst,arrive]} 

Spellout: {[John,meets,Bill],[and],[John,arrived]} 

Blocked: inconsistent with input!

EXT: {[John,3sg,pres,meet,Bill],[and],[there,3sg,pst,arrive,John]} 

Spellout: {[John,meets,Bill],[and],[there,arrived,John]} 

Blocked: inconsistent with input!

false.

102 ?- report.

REPORT LENGTH: 787

true.