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. ?- graphall/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(['John',likes,'Mary'], SO, L). Words: John likes Mary Initial WS: Mary like_θ v_like:θ:pres INFL_v:3sg John INT/EXT: {C, {INFL_v:3sg, {John, {v_like:θ:pres, {like_θ, Mary}}}}} EXT: John 3sg pres like Mary Spellout: John likes Mary Parse found! SO = {C, {INFL_v:3sg, {John, {v_like:θ:pres, {like_θ, Mary}}}}}, L = [John,likes,Mary] ; INT/EXT: {C, {INFL_v:3sg, {Mary, {v_like:θ:pres, {like_θ, John}}}}} EXT: Mary 3sg pres like John Spellout: Mary likes John Blocked: inconsistent with input! INT/EXT: {C, {INFL_v:3sg, {{Mary, John}, {v_like:θ:pres, {like_θ, {Mary, John}}}}}} EXT: {Mary,[and],John} 3sg pres like {Mary,[and],John} Blocked: EXT inconsistent! Blocked: inconsistent with input! false. 102 ?- 102 ?- parse(['John',likes,'Mary'], SO, L). Words: John likes Mary Initial WS: Mary like_θ v_like:θ:pres INFL_v:3sg John INT/EXT: {C, {INFL_v:3sg, {John, {v_like:θ:pres, {like_θ, Mary}}}}} EXT: John 3sg pres like Mary Spellout: John likes Mary Parse found! SO = {C, {INFL_v:3sg, {John, {v_like:θ:pres, {like_θ, Mary}}}}}, L = [John,likes,Mary] . 102 ?- report. REPORT LENGTH: 12 true. 103 ?- parse(['John',likes,'Mary'], SO, L). Words: John likes Mary Initial WS: Mary like_θ v_like:θ:pres INFL_v:3sg John INT/EXT: {C, {INFL_v:3sg, {John, {v_like:θ:pres, {like_θ, Mary}}}}} EXT: John 3sg pres like Mary Spellout: John likes Mary Parse found! SO = {C, {INFL_v:3sg, {John, {v_like:θ:pres, {like_θ, Mary}}}}}, L = [John,likes,Mary] ; INT/EXT: {C, {INFL_v:3sg, {Mary, {v_like:θ:pres, {like_θ, John}}}}} EXT: Mary 3sg pres like John Spellout: Mary likes John Blocked: inconsistent with input! INT/EXT: {C, {INFL_v:3sg, {{Mary, John}, {v_like:θ:pres, {like_θ, {Mary, John}}}}}} EXT: {Mary,[and],John} 3sg pres like {Mary,[and],John} Blocked: EXT inconsistent! Blocked: inconsistent with input! false. 104 ?- report. REPORT LENGTH: 40 true. 105 ?- parse([they,are,flying,planes],SO,L). Words: they are flying planes Initial WS: planes flying_θ v_pred:pres INFL_v:pl they INT/EXT: {C, {INFL_v:pl, {v_pred:pres, {flying_θ, {planes, they}}}}} EXT: {planes,[and],they} 3pl pres be flying Spellout: {planes,[and],they} are flying Blocked: inconsistent with input! EXT: there 3pl pres be flying {planes,[and],they} Spellout: there are flying {planes,[and],they} Blocked: inconsistent with input! INT/EXT: {C_Q_aux(pl,pres,be), {INFL_v:pl, {v_pred:pres, {flying_θ, {planes, they}}}}} EXT: pl pres be →→ {planes,[and],they} 3pl pres be flying Spellout: 3pl pres be {planes,[and],they} flying Spellout: are {planes,[and],they} flying Blocked: inconsistent with input! EXT: pl pres be →→ there 3pl pres be flying {planes,[and],they} Spellout: 3pl pres be there flying {planes,[and],they} Spellout: are there flying {planes,[and],they} Blocked: inconsistent with input! Initial WS: planes flying_θ be_θ v_be:θ:pres INFL_v:pl they INT/EXT: {C, {INFL_v:pl, {they, {v_be:θ:pres, {be_θ, {planes, {flying_θ, planes}}}}}}} EXT: they 3pl pres be flying planes Spellout: they are flying planes Parse found! SO = {C, {INFL_v:pl, {they, {v_be:θ:pres, {be_θ, {planes, {flying_θ, planes}}}}}}}, L = [they,are,flying,planes] ; INT/EXT: {C, {INFL_v:pl, {planes, {v_be:θ:pres, {be_θ, {they, {flying_θ, they}}}}}}} Error: Case: object "they" not ACC INT/EXT: {C, {INFL_v:pl, {{they, {flying_θ, they}}, {v_be:θ:pres, {be_θ, planes}}}}} EXT: flying they 3pl pres be planes Spellout: flying they are planes Blocked: inconsistent with input! INT/EXT: {C, {INFL_v:pl, {{planes, {flying_θ, planes}}, {v_be:θ:pres, {be_θ, they}}}}} Error: Case: object "they" not ACC Initial WS: planes fly_θ:presp v_fly:θ v_v:prog:pres INFL_v:pl they INT/EXT: {C, {INFL_v:pl, {v_v:prog:pres, {they, {v_fly:θ, {fly_θ:presp, planes}}}}}} EXT: they 3pl pres be ing fly planes Spellout: they are flying planes Parse found! SO = {C, {INFL_v:pl, {v_v:prog:pres, {they, {v_fly:θ, {fly_θ:presp, planes}}}}}}, L = [they,are,flying,planes] ; EXT: there 3pl pres be ing they fly planes Error: Morpheme "ing" unattached! Blocked: inconsistent with input! INT/EXT: {C_Q_aux(pl,pres,be), {INFL_v:pl, {v_v:prog:pres, {they, {v_fly:θ, {fly_θ:presp, planes}}}}}} EXT: pl pres be →→ they 3pl pres be ing fly planes Spellout: 3pl pres be they ing fly planes Spellout: are they flying planes Blocked: inconsistent with input! EXT: pl pres be →→ there 3pl pres be ing they fly planes Spellout: 3pl pres be there ing they fly planes Error: Morpheme "ing" unattached! Blocked: inconsistent with input! INT/EXT: {C, {INFL_v:pl, {v_v:prog:pres, {planes, {v_fly:θ, {fly_θ:presp, they}}}}}} Error: Case: object "they" not ACC Error: Case: object "they" not ACC INT/EXT: {C_Q_aux(pl,pres,be), {INFL_v:pl, {v_v:prog:pres, {planes, {v_fly:θ, {fly_θ:presp, they}}}}}} Error: Case: object "they" not ACC Error: Case: object "they" not ACC INT/EXT: {C, {INFL_v:pl, {v_v:prog:pres, {{planes, they}, {v_fly:θ, {fly_θ:presp, {planes, they}}}}}}} EXT: {planes,[and],they} 3pl pres be ing fly {planes,[and],they} Blocked: EXT inconsistent! Blocked: inconsistent with input! EXT: there 3pl pres be ing {planes,[and],they} fly {planes,[and],they} Error: Morpheme "ing" unattached! Blocked: inconsistent with input! INT/EXT: {C_Q_aux(pl,pres,be), {INFL_v:pl, {v_v:prog:pres, {{planes, they}, {v_fly:θ, {fly_θ:presp, {planes, they}}}}}}} EXT: pl pres be →→ {planes,[and],they} 3pl pres be ing fly {planes,[and],they} Spellout: 3pl pres be {planes,[and],they} ing fly {planes,[and],they} Blocked: EXT inconsistent! Blocked: inconsistent with input! EXT: pl pres be →→ there 3pl pres be ing {planes,[and],they} fly {planes,[and],they} Spellout: 3pl pres be there ing {planes,[and],they} fly {planes,[and],they} Error: Morpheme "ing" unattached! Blocked: inconsistent with input! Initial WS: planes fly_ø:presp v_fly:θ v_v:prog:pres INFL_v:pl they INT/EXT: {C, {INFL_v:pl, {v_v:prog:pres, {{planes, they}, {v_fly:θ, fly_ø:presp}}}}} EXT: {planes,[and],they} 3pl pres be ing fly Spellout: {planes,[and],they} are flying Blocked: inconsistent with input! EXT: there 3pl pres be ing {planes,[and],they} fly Error: Morpheme "ing" unattached! Blocked: inconsistent with input! INT/EXT: {C_Q_aux(pl,pres,be), {INFL_v:pl, {v_v:prog:pres, {{planes, they}, {v_fly:θ, fly_ø:presp}}}}} EXT: pl pres be →→ {planes,[and],they} 3pl pres be ing fly Spellout: 3pl pres be {planes,[and],they} ing fly Spellout: are {planes,[and],they} flying Blocked: inconsistent with input! EXT: pl pres be →→ there 3pl pres be ing {planes,[and],they} fly Spellout: 3pl pres be there ing {planes,[and],they} fly Error: Morpheme "ing" unattached! Blocked: inconsistent with input! false. 106 ?- report. REPORT LENGTH: 244 true. 107 ?- graphall. true. 108 ?- parse([the,mechanics,who,fixed,the,car,packed,his,tools],SO,L). Error: 'mechanics' not found! Edit LEX or useMorphy. or add{Noun/Tr/Adj} etc. false. 109 ?- parse([the,mechanic,who,fixed,the,car,packed,his,tools],SO,L). Words: the mechanic who fixed the car packed his tools Initial WS: tools_his pack_θ v_pack:θ:pst INFL_v car_the fix_θ v_fix:θ:pst INFL_v who mechanic_the INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_fix:θ:pst, {fix_θ, {car_the, mechanic_the}}}}, {who, {v_pack:θ:pst, {pack_θ, tools_his}}}}}} EXT: who →→ {[3sg,pst,fix,[[the,car],[and],[the,mechanic]]],[and],[3sg,pst,pack,his,tools]} Spellout: who {[3sg,pst,fix,[[the,car],[and],[the,mechanic]]],[and],[3sg,pst,pack,his,tools]} Spellout: who {[fixed,[[the,car],[and],[the,mechanic]]],[and],[packed,his,tools]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_pack:θ:pst, {pack_θ, tools_his}}}, {who, {v_fix:θ:pst, {fix_θ, {car_the, mechanic_the}}}}}}} EXT: who →→ {[3sg,pst,pack,his,tools],[and],[3sg,pst,fix,[[the,car],[and],[the,mechanic]]]} Spellout: who {[3sg,pst,pack,his,tools],[and],[3sg,pst,fix,[[the,car],[and],[the,mechanic]]]} Spellout: who {[packed,his,tools],[and],[fixed,[[the,car],[and],[the,mechanic]]]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_fix:θ:pst, {fix_θ, {car_the, mechanic_the}}}}, {who, {v_pack:θ:pst, {pack_θ, tools_his}}}}}} EXT: who →→ {[3sg,pst,fix,[[the,car],[and],[the,mechanic]]],[and],[3sg,pst,pack,his,tools]} Spellout: who {[3sg,pst,fix,[[the,car],[and],[the,mechanic]]],[and],[3sg,pst,pack,his,tools]} Spellout: who {[fixed,[[the,car],[and],[the,mechanic]]],[and],[packed,his,tools]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_pack:θ:pst, {pack_θ, tools_his}}}, {who, {v_fix:θ:pst, {fix_θ, {car_the, mechanic_the}}}}}}} EXT: who →→ {[3sg,pst,pack,his,tools],[and],[3sg,pst,fix,[[the,car],[and],[the,mechanic]]]} Spellout: who {[3sg,pst,pack,his,tools],[and],[3sg,pst,fix,[[the,car],[and],[the,mechanic]]]} Spellout: who {[packed,his,tools],[and],[fixed,[[the,car],[and],[the,mechanic]]]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_fix:θ:pst, {fix_θ, {car_the, mechanic_the}}}}, {who, {v_pack:θ:pst, {pack_θ, tools_his}}}}}} EXT: who →→ {[3sg,pst,fix,[[the,car],[and],[the,mechanic]]],[and],[3sg,pst,pack,his,tools]} Spellout: who {[3sg,pst,fix,[[the,car],[and],[the,mechanic]]],[and],[3sg,pst,pack,his,tools]} Spellout: who {[fixed,[[the,car],[and],[the,mechanic]]],[and],[packed,his,tools]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_pack:θ:pst, {pack_θ, tools_his}}}, {who, {v_fix:θ:pst, {fix_θ, {car_the, mechanic_the}}}}}}} EXT: who →→ {[3sg,pst,pack,his,tools],[and],[3sg,pst,fix,[[the,car],[and],[the,mechanic]]]} Spellout: who {[3sg,pst,pack,his,tools],[and],[3sg,pst,fix,[[the,car],[and],[the,mechanic]]]} Spellout: who {[packed,his,tools],[and],[fixed,[[the,car],[and],[the,mechanic]]]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_fix:θ:pst, {fix_θ, {tools_his, mechanic_the}}}}, {who, {v_pack:θ:pst, {pack_θ, car_the}}}}}} EXT: who →→ {[3sg,pst,fix,[[his,tools],[and],[the,mechanic]]],[and],[3sg,pst,pack,the,car]} Spellout: who {[3sg,pst,fix,[[his,tools],[and],[the,mechanic]]],[and],[3sg,pst,pack,the,car]} Spellout: who {[fixed,[[his,tools],[and],[the,mechanic]]],[and],[packed,the,car]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_pack:θ:pst, {pack_θ, car_the}}}, {who, {v_fix:θ:pst, {fix_θ, {tools_his, mechanic_the}}}}}}} EXT: who →→ {[3sg,pst,pack,the,car],[and],[3sg,pst,fix,[[his,tools],[and],[the,mechanic]]]} Spellout: who {[3sg,pst,pack,the,car],[and],[3sg,pst,fix,[[his,tools],[and],[the,mechanic]]]} Spellout: who {[packed,the,car],[and],[fixed,[[his,tools],[and],[the,mechanic]]]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_fix:θ:pst, {fix_θ, {tools_his, mechanic_the}}}}, {who, {v_pack:θ:pst, {pack_θ, car_the}}}}}} EXT: who →→ {[3sg,pst,fix,[[his,tools],[and],[the,mechanic]]],[and],[3sg,pst,pack,the,car]} Spellout: who {[3sg,pst,fix,[[his,tools],[and],[the,mechanic]]],[and],[3sg,pst,pack,the,car]} Spellout: who {[fixed,[[his,tools],[and],[the,mechanic]]],[and],[packed,the,car]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_pack:θ:pst, {pack_θ, car_the}}}, {who, {v_fix:θ:pst, {fix_θ, {tools_his, mechanic_the}}}}}}} EXT: who →→ {[3sg,pst,pack,the,car],[and],[3sg,pst,fix,[[his,tools],[and],[the,mechanic]]]} Spellout: who {[3sg,pst,pack,the,car],[and],[3sg,pst,fix,[[his,tools],[and],[the,mechanic]]]} Spellout: who {[packed,the,car],[and],[fixed,[[his,tools],[and],[the,mechanic]]]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_fix:θ:pst, {fix_θ, {tools_his, mechanic_the}}}}, {who, {v_pack:θ:pst, {pack_θ, car_the}}}}}} EXT: who →→ {[3sg,pst,fix,[[his,tools],[and],[the,mechanic]]],[and],[3sg,pst,pack,the,car]} Spellout: who {[3sg,pst,fix,[[his,tools],[and],[the,mechanic]]],[and],[3sg,pst,pack,the,car]} Spellout: who {[fixed,[[his,tools],[and],[the,mechanic]]],[and],[packed,the,car]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_pack:θ:pst, {pack_θ, car_the}}}, {who, {v_fix:θ:pst, {fix_θ, {tools_his, mechanic_the}}}}}}} EXT: who →→ {[3sg,pst,pack,the,car],[and],[3sg,pst,fix,[[his,tools],[and],[the,mechanic]]]} Spellout: who {[3sg,pst,pack,the,car],[and],[3sg,pst,fix,[[his,tools],[and],[the,mechanic]]]} Spellout: who {[packed,the,car],[and],[fixed,[[his,tools],[and],[the,mechanic]]]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_fix:θ:pst, {fix_θ, {tools_his, car_the}}}}, {who, {v_pack:θ:pst, {pack_θ, mechanic_the}}}}}} EXT: who →→ {[3sg,pst,fix,[[his,tools],[and],[the,car]]],[and],[3sg,pst,pack,the,mechanic]} Spellout: who {[3sg,pst,fix,[[his,tools],[and],[the,car]]],[and],[3sg,pst,pack,the,mechanic]} Spellout: who {[fixed,[[his,tools],[and],[the,car]]],[and],[packed,the,mechanic]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_pack:θ:pst, {pack_θ, mechanic_the}}}, {who, {v_fix:θ:pst, {fix_θ, {tools_his, car_the}}}}}}} EXT: who →→ {[3sg,pst,pack,the,mechanic],[and],[3sg,pst,fix,[[his,tools],[and],[the,car]]]} Spellout: who {[3sg,pst,pack,the,mechanic],[and],[3sg,pst,fix,[[his,tools],[and],[the,car]]]} Spellout: who {[packed,the,mechanic],[and],[fixed,[[his,tools],[and],[the,car]]]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_fix:θ:pst, {fix_θ, {tools_his, car_the}}}}, {who, {v_pack:θ:pst, {pack_θ, mechanic_the}}}}}} EXT: who →→ {[3sg,pst,fix,[[his,tools],[and],[the,car]]],[and],[3sg,pst,pack,the,mechanic]} Spellout: who {[3sg,pst,fix,[[his,tools],[and],[the,car]]],[and],[3sg,pst,pack,the,mechanic]} Spellout: who {[fixed,[[his,tools],[and],[the,car]]],[and],[packed,the,mechanic]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_pack:θ:pst, {pack_θ, mechanic_the}}}, {who, {v_fix:θ:pst, {fix_θ, {tools_his, car_the}}}}}}} EXT: who →→ {[3sg,pst,pack,the,mechanic],[and],[3sg,pst,fix,[[his,tools],[and],[the,car]]]} Spellout: who {[3sg,pst,pack,the,mechanic],[and],[3sg,pst,fix,[[his,tools],[and],[the,car]]]} Spellout: who {[packed,the,mechanic],[and],[fixed,[[his,tools],[and],[the,car]]]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_fix:θ:pst, {fix_θ, {tools_his, car_the}}}}, {who, {v_pack:θ:pst, {pack_θ, mechanic_the}}}}}} EXT: who →→ {[3sg,pst,fix,[[his,tools],[and],[the,car]]],[and],[3sg,pst,pack,the,mechanic]} Spellout: who {[3sg,pst,fix,[[his,tools],[and],[the,car]]],[and],[3sg,pst,pack,the,mechanic]} Spellout: who {[fixed,[[his,tools],[and],[the,car]]],[and],[packed,the,mechanic]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_pack:θ:pst, {pack_θ, mechanic_the}}}, {who, {v_fix:θ:pst, {fix_θ, {tools_his, car_the}}}}}}} EXT: who →→ {[3sg,pst,pack,the,mechanic],[and],[3sg,pst,fix,[[his,tools],[and],[the,car]]]} Spellout: who {[3sg,pst,pack,the,mechanic],[and],[3sg,pst,fix,[[his,tools],[and],[the,car]]]} Spellout: who {[packed,the,mechanic],[and],[fixed,[[his,tools],[and],[the,car]]]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_pack:θ:pst, {pack_θ, {car_the, mechanic_the}}}}, {who, {v_fix:θ:pst, {fix_θ, tools_his}}}}}} EXT: who →→ {[3sg,pst,pack,[[the,car],[and],[the,mechanic]]],[and],[3sg,pst,fix,his,tools]} Spellout: who {[3sg,pst,pack,[[the,car],[and],[the,mechanic]]],[and],[3sg,pst,fix,his,tools]} Spellout: who {[packed,[[the,car],[and],[the,mechanic]]],[and],[fixed,his,tools]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_fix:θ:pst, {fix_θ, tools_his}}}, {who, {v_pack:θ:pst, {pack_θ, {car_the, mechanic_the}}}}}}} EXT: who →→ {[3sg,pst,fix,his,tools],[and],[3sg,pst,pack,[[the,car],[and],[the,mechanic]]]} Spellout: who {[3sg,pst,fix,his,tools],[and],[3sg,pst,pack,[[the,car],[and],[the,mechanic]]]} Spellout: who {[fixed,his,tools],[and],[packed,[[the,car],[and],[the,mechanic]]]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_pack:θ:pst, {pack_θ, {car_the, mechanic_the}}}}, {who, {v_fix:θ:pst, {fix_θ, tools_his}}}}}} EXT: who →→ {[3sg,pst,pack,[[the,car],[and],[the,mechanic]]],[and],[3sg,pst,fix,his,tools]} Spellout: who {[3sg,pst,pack,[[the,car],[and],[the,mechanic]]],[and],[3sg,pst,fix,his,tools]} Spellout: who {[packed,[[the,car],[and],[the,mechanic]]],[and],[fixed,his,tools]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_pack:θ:pst, {pack_θ, {car_the, mechanic_the}}}}, {who, {v_fix:θ:pst, {fix_θ, tools_his}}}}}} EXT: who →→ {[3sg,pst,pack,[[the,car],[and],[the,mechanic]]],[and],[3sg,pst,fix,his,tools]} Spellout: who {[3sg,pst,pack,[[the,car],[and],[the,mechanic]]],[and],[3sg,pst,fix,his,tools]} Spellout: who {[packed,[[the,car],[and],[the,mechanic]]],[and],[fixed,his,tools]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_fix:θ:pst, {fix_θ, tools_his}}}, {who, {v_pack:θ:pst, {pack_θ, {car_the, mechanic_the}}}}}}} EXT: who →→ {[3sg,pst,fix,his,tools],[and],[3sg,pst,pack,[[the,car],[and],[the,mechanic]]]} Spellout: who {[3sg,pst,fix,his,tools],[and],[3sg,pst,pack,[[the,car],[and],[the,mechanic]]]} Spellout: who {[fixed,his,tools],[and],[packed,[[the,car],[and],[the,mechanic]]]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_pack:θ:pst, {pack_θ, {tools_his, mechanic_the}}}}, {who, {v_fix:θ:pst, {fix_θ, car_the}}}}}} EXT: who →→ {[3sg,pst,pack,[[his,tools],[and],[the,mechanic]]],[and],[3sg,pst,fix,the,car]} Spellout: who {[3sg,pst,pack,[[his,tools],[and],[the,mechanic]]],[and],[3sg,pst,fix,the,car]} Spellout: who {[packed,[[his,tools],[and],[the,mechanic]]],[and],[fixed,the,car]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_fix:θ:pst, {fix_θ, car_the}}}, {who, {v_pack:θ:pst, {pack_θ, {tools_his, mechanic_the}}}}}}} EXT: who →→ {[3sg,pst,fix,the,car],[and],[3sg,pst,pack,[[his,tools],[and],[the,mechanic]]]} Spellout: who {[3sg,pst,fix,the,car],[and],[3sg,pst,pack,[[his,tools],[and],[the,mechanic]]]} Spellout: who {[fixed,the,car],[and],[packed,[[his,tools],[and],[the,mechanic]]]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_pack:θ:pst, {pack_θ, {tools_his, mechanic_the}}}}, {who, {v_fix:θ:pst, {fix_θ, car_the}}}}}} EXT: who →→ {[3sg,pst,pack,[[his,tools],[and],[the,mechanic]]],[and],[3sg,pst,fix,the,car]} Spellout: who {[3sg,pst,pack,[[his,tools],[and],[the,mechanic]]],[and],[3sg,pst,fix,the,car]} Spellout: who {[packed,[[his,tools],[and],[the,mechanic]]],[and],[fixed,the,car]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_pack:θ:pst, {pack_θ, {tools_his, mechanic_the}}}}, {who, {v_fix:θ:pst, {fix_θ, car_the}}}}}} EXT: who →→ {[3sg,pst,pack,[[his,tools],[and],[the,mechanic]]],[and],[3sg,pst,fix,the,car]} Spellout: who {[3sg,pst,pack,[[his,tools],[and],[the,mechanic]]],[and],[3sg,pst,fix,the,car]} Spellout: who {[packed,[[his,tools],[and],[the,mechanic]]],[and],[fixed,the,car]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_fix:θ:pst, {fix_θ, car_the}}}, {who, {v_pack:θ:pst, {pack_θ, {tools_his, mechanic_the}}}}}}} EXT: who →→ {[3sg,pst,fix,the,car],[and],[3sg,pst,pack,[[his,tools],[and],[the,mechanic]]]} Spellout: who {[3sg,pst,fix,the,car],[and],[3sg,pst,pack,[[his,tools],[and],[the,mechanic]]]} Spellout: who {[fixed,the,car],[and],[packed,[[his,tools],[and],[the,mechanic]]]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_pack:θ:pst, {pack_θ, {tools_his, car_the}}}}, {who, {v_fix:θ:pst, {fix_θ, mechanic_the}}}}}} EXT: who →→ {[3sg,pst,pack,[[his,tools],[and],[the,car]]],[and],[3sg,pst,fix,the,mechanic]} Spellout: who {[3sg,pst,pack,[[his,tools],[and],[the,car]]],[and],[3sg,pst,fix,the,mechanic]} Spellout: who {[packed,[[his,tools],[and],[the,car]]],[and],[fixed,the,mechanic]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_fix:θ:pst, {fix_θ, mechanic_the}}}, {who, {v_pack:θ:pst, {pack_θ, {tools_his, car_the}}}}}}} EXT: who →→ {[3sg,pst,fix,the,mechanic],[and],[3sg,pst,pack,[[his,tools],[and],[the,car]]]} Spellout: who {[3sg,pst,fix,the,mechanic],[and],[3sg,pst,pack,[[his,tools],[and],[the,car]]]} Spellout: who {[fixed,the,mechanic],[and],[packed,[[his,tools],[and],[the,car]]]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_pack:θ:pst, {pack_θ, {tools_his, car_the}}}}, {who, {v_fix:θ:pst, {fix_θ, mechanic_the}}}}}} EXT: who →→ {[3sg,pst,pack,[[his,tools],[and],[the,car]]],[and],[3sg,pst,fix,the,mechanic]} Spellout: who {[3sg,pst,pack,[[his,tools],[and],[the,car]]],[and],[3sg,pst,fix,the,mechanic]} Spellout: who {[packed,[[his,tools],[and],[the,car]]],[and],[fixed,the,mechanic]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_pack:θ:pst, {pack_θ, {tools_his, car_the}}}}, {who, {v_fix:θ:pst, {fix_θ, mechanic_the}}}}}} EXT: who →→ {[3sg,pst,pack,[[his,tools],[and],[the,car]]],[and],[3sg,pst,fix,the,mechanic]} Spellout: who {[3sg,pst,pack,[[his,tools],[and],[the,car]]],[and],[3sg,pst,fix,the,mechanic]} Spellout: who {[packed,[[his,tools],[and],[the,car]]],[and],[fixed,the,mechanic]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_fix:θ:pst, {fix_θ, mechanic_the}}}, {who, {v_pack:θ:pst, {pack_θ, {tools_his, car_the}}}}}}} EXT: who →→ {[3sg,pst,fix,the,mechanic],[and],[3sg,pst,pack,[[his,tools],[and],[the,car]]]} Spellout: who {[3sg,pst,fix,the,mechanic],[and],[3sg,pst,pack,[[his,tools],[and],[the,car]]]} Spellout: who {[fixed,the,mechanic],[and],[packed,[[his,tools],[and],[the,car]]]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_pack:θ:pst, {pack_θ, {tools_his, car_the}}}}, {who, {v_fix:θ:pst, {fix_θ, mechanic_the}}}}}} EXT: who →→ {[3sg,pst,pack,[[his,tools],[and],[the,car]]],[and],[3sg,pst,fix,the,mechanic]} Spellout: who {[3sg,pst,pack,[[his,tools],[and],[the,car]]],[and],[3sg,pst,fix,the,mechanic]} Spellout: who {[packed,[[his,tools],[and],[the,car]]],[and],[fixed,the,mechanic]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_fix:θ:pst, {fix_θ, mechanic_the}}}, {who, {v_pack:θ:pst, {pack_θ, {tools_his, car_the}}}}}}} EXT: who →→ {[3sg,pst,fix,the,mechanic],[and],[3sg,pst,pack,[[his,tools],[and],[the,car]]]} Spellout: who {[3sg,pst,fix,the,mechanic],[and],[3sg,pst,pack,[[his,tools],[and],[the,car]]]} Spellout: who {[fixed,the,mechanic],[and],[packed,[[his,tools],[and],[the,car]]]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_fix:θ:pst, {fix_θ, mechanic_the}}}, {who, {v_pack:θ:pst, {pack_θ, {tools_his, car_the}}}}}}} EXT: who →→ {[3sg,pst,fix,the,mechanic],[and],[3sg,pst,pack,[[his,tools],[and],[the,car]]]} Spellout: who {[3sg,pst,fix,the,mechanic],[and],[3sg,pst,pack,[[his,tools],[and],[the,car]]]} Spellout: who {[fixed,the,mechanic],[and],[packed,[[his,tools],[and],[the,car]]]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_fix:θ:pst, {fix_θ, {tools_his, car_the}}}}, {who, {v_pack:θ:pst, {pack_θ, mechanic_the}}}}}} EXT: who →→ {[3sg,pst,fix,[[his,tools],[and],[the,car]]],[and],[3sg,pst,pack,the,mechanic]} Spellout: who {[3sg,pst,fix,[[his,tools],[and],[the,car]]],[and],[3sg,pst,pack,the,mechanic]} Spellout: who {[fixed,[[his,tools],[and],[the,car]]],[and],[packed,the,mechanic]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_pack:θ:pst, {pack_θ, mechanic_the}}}, {who, {v_fix:θ:pst, {fix_θ, {tools_his, car_the}}}}}}} EXT: who →→ {[3sg,pst,pack,the,mechanic],[and],[3sg,pst,fix,[[his,tools],[and],[the,car]]]} Spellout: who {[3sg,pst,pack,the,mechanic],[and],[3sg,pst,fix,[[his,tools],[and],[the,car]]]} Spellout: who {[packed,the,mechanic],[and],[fixed,[[his,tools],[and],[the,car]]]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_pack:θ:pst, {pack_θ, mechanic_the}}}, {who, {v_fix:θ:pst, {fix_θ, {tools_his, car_the}}}}}}} EXT: who →→ {[3sg,pst,pack,the,mechanic],[and],[3sg,pst,fix,[[his,tools],[and],[the,car]]]} Spellout: who {[3sg,pst,pack,the,mechanic],[and],[3sg,pst,fix,[[his,tools],[and],[the,car]]]} Spellout: who {[packed,the,mechanic],[and],[fixed,[[his,tools],[and],[the,car]]]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_fix:θ:pst, {fix_θ, {{tools_his, car_the}, mechanic_the}}}}, {who, {v_pack:θ:pst, {pack_θ, {{tools_his, car_the}, mechanic_the}}}}}}} EXT: who →→ {[3sg,pst,fix,[[[his,tools],[and],[the,car]],[and],[the,mechanic]]],[and],[3sg,pst,pack,[[[his,tools],[and],[the,car]],[and],[the,mechanic]]]} Spellout: who {[3sg,pst,fix,[[[his,tools],[and],[the,car]],[and],[the,mechanic]]],[and],[3sg,pst,pack,[[[his,tools],[and],[the,car]],[and],[the,mechanic]]]} Spellout: who {[fixed,[[[his,tools],[and],[the,car]],[and],[the,mechanic]]],[and],[packed,[[[his,tools],[and],[the,car]],[and],[the,mechanic]]]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_pack:θ:pst, {pack_θ, {{tools_his, car_the}, mechanic_the}}}}, {who, {v_fix:θ:pst, {fix_θ, {{tools_his, car_the}, mechanic_the}}}}}}} EXT: who →→ {[3sg,pst,pack,[[[his,tools],[and],[the,car]],[and],[the,mechanic]]],[and],[3sg,pst,fix,[[[his,tools],[and],[the,car]],[and],[the,mechanic]]]} Spellout: who {[3sg,pst,pack,[[[his,tools],[and],[the,car]],[and],[the,mechanic]]],[and],[3sg,pst,fix,[[[his,tools],[and],[the,car]],[and],[the,mechanic]]]} Spellout: who {[packed,[[[his,tools],[and],[the,car]],[and],[the,mechanic]]],[and],[fixed,[[[his,tools],[and],[the,car]],[and],[the,mechanic]]]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_pack:θ:pst, {pack_θ, {tools_his, mechanic_the}}}}, {who, {v_fix:θ:pst, {fix_θ, car_the}}}}}} EXT: who →→ {[3sg,pst,pack,[[his,tools],[and],[the,mechanic]]],[and],[3sg,pst,fix,the,car]} Spellout: who {[3sg,pst,pack,[[his,tools],[and],[the,mechanic]]],[and],[3sg,pst,fix,the,car]} Spellout: who {[packed,[[his,tools],[and],[the,mechanic]]],[and],[fixed,the,car]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_fix:θ:pst, {fix_θ, car_the}}}, {who, {v_pack:θ:pst, {pack_θ, {tools_his, mechanic_the}}}}}}} EXT: who →→ {[3sg,pst,fix,the,car],[and],[3sg,pst,pack,[[his,tools],[and],[the,mechanic]]]} Spellout: who {[3sg,pst,fix,the,car],[and],[3sg,pst,pack,[[his,tools],[and],[the,mechanic]]]} Spellout: who {[fixed,the,car],[and],[packed,[[his,tools],[and],[the,mechanic]]]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_fix:θ:pst, {fix_θ, car_the}}}, {who, {v_pack:θ:pst, {pack_θ, {tools_his, mechanic_the}}}}}}} EXT: who →→ {[3sg,pst,fix,the,car],[and],[3sg,pst,pack,[[his,tools],[and],[the,mechanic]]]} Spellout: who {[3sg,pst,fix,the,car],[and],[3sg,pst,pack,[[his,tools],[and],[the,mechanic]]]} Spellout: who {[fixed,the,car],[and],[packed,[[his,tools],[and],[the,mechanic]]]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_fix:θ:pst, {fix_θ, {tools_his, mechanic_the}}}}, {who, {v_pack:θ:pst, {pack_θ, car_the}}}}}} EXT: who →→ {[3sg,pst,fix,[[his,tools],[and],[the,mechanic]]],[and],[3sg,pst,pack,the,car]} Spellout: who {[3sg,pst,fix,[[his,tools],[and],[the,mechanic]]],[and],[3sg,pst,pack,the,car]} Spellout: who {[fixed,[[his,tools],[and],[the,mechanic]]],[and],[packed,the,car]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_pack:θ:pst, {pack_θ, car_the}}}, {who, {v_fix:θ:pst, {fix_θ, {tools_his, mechanic_the}}}}}}} EXT: who →→ {[3sg,pst,pack,the,car],[and],[3sg,pst,fix,[[his,tools],[and],[the,mechanic]]]} Spellout: who {[3sg,pst,pack,the,car],[and],[3sg,pst,fix,[[his,tools],[and],[the,mechanic]]]} Spellout: who {[packed,the,car],[and],[fixed,[[his,tools],[and],[the,mechanic]]]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_pack:θ:pst, {pack_θ, car_the}}}, {who, {v_fix:θ:pst, {fix_θ, {tools_his, mechanic_the}}}}}}} EXT: who →→ {[3sg,pst,pack,the,car],[and],[3sg,pst,fix,[[his,tools],[and],[the,mechanic]]]} Spellout: who {[3sg,pst,pack,the,car],[and],[3sg,pst,fix,[[his,tools],[and],[the,mechanic]]]} Spellout: who {[packed,the,car],[and],[fixed,[[his,tools],[and],[the,mechanic]]]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_fix:θ:pst, {fix_θ, {{tools_his, mechanic_the}, car_the}}}}, {who, {v_pack:θ:pst, {pack_θ, {{tools_his, mechanic_the}, car_the}}}}}}} EXT: who →→ {[3sg,pst,fix,[[[his,tools],[and],[the,mechanic]],[and],[the,car]]],[and],[3sg,pst,pack,[[[his,tools],[and],[the,mechanic]],[and],[the,car]]]} Spellout: who {[3sg,pst,fix,[[[his,tools],[and],[the,mechanic]],[and],[the,car]]],[and],[3sg,pst,pack,[[[his,tools],[and],[the,mechanic]],[and],[the,car]]]} Spellout: who {[fixed,[[[his,tools],[and],[the,mechanic]],[and],[the,car]]],[and],[packed,[[[his,tools],[and],[the,mechanic]],[and],[the,car]]]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_pack:θ:pst, {pack_θ, {{tools_his, mechanic_the}, car_the}}}}, {who, {v_fix:θ:pst, {fix_θ, {{tools_his, mechanic_the}, car_the}}}}}}} EXT: who →→ {[3sg,pst,pack,[[[his,tools],[and],[the,mechanic]],[and],[the,car]]],[and],[3sg,pst,fix,[[[his,tools],[and],[the,mechanic]],[and],[the,car]]]} Spellout: who {[3sg,pst,pack,[[[his,tools],[and],[the,mechanic]],[and],[the,car]]],[and],[3sg,pst,fix,[[[his,tools],[and],[the,mechanic]],[and],[the,car]]]} Spellout: who {[packed,[[[his,tools],[and],[the,mechanic]],[and],[the,car]]],[and],[fixed,[[[his,tools],[and],[the,mechanic]],[and],[the,car]]]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_pack:θ:pst, {pack_θ, {car_the, mechanic_the}}}}, {who, {v_fix:θ:pst, {fix_θ, tools_his}}}}}} EXT: who →→ {[3sg,pst,pack,[[the,car],[and],[the,mechanic]]],[and],[3sg,pst,fix,his,tools]} Spellout: who {[3sg,pst,pack,[[the,car],[and],[the,mechanic]]],[and],[3sg,pst,fix,his,tools]} Spellout: who {[packed,[[the,car],[and],[the,mechanic]]],[and],[fixed,his,tools]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_fix:θ:pst, {fix_θ, tools_his}}}, {who, {v_pack:θ:pst, {pack_θ, {car_the, mechanic_the}}}}}}} EXT: who →→ {[3sg,pst,fix,his,tools],[and],[3sg,pst,pack,[[the,car],[and],[the,mechanic]]]} Spellout: who {[3sg,pst,fix,his,tools],[and],[3sg,pst,pack,[[the,car],[and],[the,mechanic]]]} Spellout: who {[fixed,his,tools],[and],[packed,[[the,car],[and],[the,mechanic]]]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_fix:θ:pst, {fix_θ, tools_his}}}, {who, {v_pack:θ:pst, {pack_θ, {car_the, mechanic_the}}}}}}} EXT: who →→ {[3sg,pst,fix,his,tools],[and],[3sg,pst,pack,[[the,car],[and],[the,mechanic]]]} Spellout: who {[3sg,pst,fix,his,tools],[and],[3sg,pst,pack,[[the,car],[and],[the,mechanic]]]} Spellout: who {[fixed,his,tools],[and],[packed,[[the,car],[and],[the,mechanic]]]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_fix:θ:pst, {fix_θ, {car_the, mechanic_the}}}}, {who, {v_pack:θ:pst, {pack_θ, tools_his}}}}}} EXT: who →→ {[3sg,pst,fix,[[the,car],[and],[the,mechanic]]],[and],[3sg,pst,pack,his,tools]} Spellout: who {[3sg,pst,fix,[[the,car],[and],[the,mechanic]]],[and],[3sg,pst,pack,his,tools]} Spellout: who {[fixed,[[the,car],[and],[the,mechanic]]],[and],[packed,his,tools]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_pack:θ:pst, {pack_θ, tools_his}}}, {who, {v_fix:θ:pst, {fix_θ, {car_the, mechanic_the}}}}}}} EXT: who →→ {[3sg,pst,pack,his,tools],[and],[3sg,pst,fix,[[the,car],[and],[the,mechanic]]]} Spellout: who {[3sg,pst,pack,his,tools],[and],[3sg,pst,fix,[[the,car],[and],[the,mechanic]]]} Spellout: who {[packed,his,tools],[and],[fixed,[[the,car],[and],[the,mechanic]]]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_pack:θ:pst, {pack_θ, tools_his}}}, {who, {v_fix:θ:pst, {fix_θ, {car_the, mechanic_the}}}}}}} EXT: who →→ {[3sg,pst,pack,his,tools],[and],[3sg,pst,fix,[[the,car],[and],[the,mechanic]]]} Spellout: who {[3sg,pst,pack,his,tools],[and],[3sg,pst,fix,[[the,car],[and],[the,mechanic]]]} Spellout: who {[packed,his,tools],[and],[fixed,[[the,car],[and],[the,mechanic]]]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_fix:θ:pst, {fix_θ, {{car_the, mechanic_the}, tools_his}}}}, {who, {v_pack:θ:pst, {pack_θ, {{car_the, mechanic_the}, tools_his}}}}}}} EXT: who →→ {[3sg,pst,fix,[[[the,car],[and],[the,mechanic]],[and],[his,tools]]],[and],[3sg,pst,pack,[[[the,car],[and],[the,mechanic]],[and],[his,tools]]]} Spellout: who {[3sg,pst,fix,[[[the,car],[and],[the,mechanic]],[and],[his,tools]]],[and],[3sg,pst,pack,[[[the,car],[and],[the,mechanic]],[and],[his,tools]]]} Spellout: who {[fixed,[[[the,car],[and],[the,mechanic]],[and],[his,tools]]],[and],[packed,[[[the,car],[and],[the,mechanic]],[and],[his,tools]]]} Blocked: inconsistent with input! INT/EXT: {C_Q_left(who), {INFL_v, {{who, {v_pack:θ:pst, {pack_θ, {{car_the, mechanic_the}, tools_his}}}}, {who, {v_fix:θ:pst, {fix_θ, {{car_the, mechanic_the}, tools_his}}}}}}} EXT: who →→ {[3sg,pst,pack,[[[the,car],[and],[the,mechanic]],[and],[his,tools]]],[and],[3sg,pst,fix,[[[the,car],[and],[the,mechanic]],[and],[his,tools]]]} Spellout: who {[3sg,pst,pack,[[[the,car],[and],[the,mechanic]],[and],[his,tools]]],[and],[3sg,pst,fix,[[[the,car],[and],[the,mechanic]],[and],[his,tools]]]} Spellout: who {[packed,[[[the,car],[and],[the,mechanic]],[and],[his,tools]]],[and],[fixed,[[[the,car],[and],[the,mechanic]],[and],[his,tools]]]} Blocked: inconsistent with input! Initial WS: tools_his pack_θ v_pack:θ:pst INFL_v car_the fix_θ v_fix:θ:pst INFL_v C_rel_who mechanic_the INT/EXT: {C, {INFL_v, {{mechanic_the, {C_rel_who, {INFL_v, {mechanic_the:, {v_fix:θ:pst, {fix_θ, car_the}}}}}}, {v_pack:θ:pst, {pack_θ, tools_his}}}}} EXT: the mechanic who 3sg pst fix the car 3sg pst pack his tools Spellout: the mechanic who fixed the car packed his tools Parse found! SO = {C, {INFL_v, {{mechanic_the, {C_rel_who, {INFL_v, {mechanic_the, {v_fix:θ:pst, {fix_θ, car_the}}}}}}, {v_pack:θ:pst, {pack_θ, tools_his}}}}}, L = [the,mechanic,who,fixed,the,car,packed,his,tools] ; INT/EXT: {C, {INFL_v, {{mechanic_the, {C_rel_who, {INFL_v, {mechanic_the:, {v_pack:θ:pst, {pack_θ, tools_his}}}}}}, {v_fix:θ:pst, {fix_θ, car_the}}}}} EXT: the mechanic who 3sg pst pack his tools 3sg pst fix the car Spellout: the mechanic who packed his tools fixed the car Blocked: inconsistent with input! INT/EXT: {C, {INFL_v, {{mechanic_the, {C_rel_who, {INFL_v, {mechanic_the:, {v_fix:θ:pst, {fix_θ, tools_his}}}}}}, {v_pack:θ:pst, {pack_θ, car_the}}}}} EXT: the mechanic who 3sg pst fix his tools 3sg pst pack the car Spellout: the mechanic who fixed his tools packed the car Blocked: inconsistent with input! INT/EXT: {C, {INFL_v, {{mechanic_the, {C_rel_who, {INFL_v, {mechanic_the:, {v_pack:θ:pst, {pack_θ, car_the}}}}}}, {v_fix:θ:pst, {fix_θ, tools_his}}}}} EXT: the mechanic who 3sg pst pack the car 3sg pst fix his tools Spellout: the mechanic who packed the car fixed his tools Blocked: inconsistent with input! INT/EXT: {C, {INFL_v, {{mechanic_the, {C_rel_who, {INFL_v, {mechanic_the:, {v_fix:θ:pst, {fix_θ, {tools_his, car_the}}}}}}}, {v_pack:θ:pst, {pack_θ, mechanic_the}}}}} EXT: the mechanic who 3sg pst fix {[his,tools],[and],[the,car]} 3sg pst pack the mechanic Blocked: EXT inconsistent! Blocked: inconsistent with input! INT/EXT: {C, {INFL_v, {{mechanic_the, {C_rel_who, {INFL_v, {mechanic_the:, {v_pack:θ:pst, {pack_θ, mechanic_the}}}}}}, {v_fix:θ:pst, {fix_θ, {tools_his, car_the}}}}}} EXT: the mechanic who 3sg pst pack the mechanic 3sg pst fix {[his,tools],[and],[the,car]} Blocked: EXT inconsistent! Blocked: inconsistent with input! INT/EXT: {C, {INFL_v, {{mechanic_the, {C_rel_who, {INFL_v, {mechanic_the:, {v_pack:θ:pst, {pack_θ, mechanic_the}}}}}}, {v_fix:θ:pst, {fix_θ, {tools_his, car_the}}}}}} EXT: the mechanic who 3sg pst pack the mechanic 3sg pst fix {[his,tools],[and],[the,car]} Blocked: EXT inconsistent! Blocked: inconsistent with input! INT/EXT: {C, {INFL_v, {{mechanic_the, {C_rel_who, {INFL_v, {mechanic_the:, {v_fix:θ:pst, {fix_θ, {tools_his, car_the}}}}}}}, {v_pack:θ:pst, {pack_θ, mechanic_the}}}}} EXT: the mechanic who 3sg pst fix {[his,tools],[and],[the,car]} 3sg pst pack the mechanic Blocked: EXT inconsistent! Blocked: inconsistent with input! INT/EXT: {C, {INFL_v, {{mechanic_the, {C_rel_who, {INFL_v, {mechanic_the:, {v_pack:θ:pst, {pack_θ, car_the}}}}}}, {v_fix:θ:pst, {fix_θ, tools_his}}}}} EXT: the mechanic who 3sg pst pack the car 3sg pst fix his tools Spellout: the mechanic who packed the car fixed his tools Blocked: inconsistent with input! INT/EXT: {C, {INFL_v, {{mechanic_the, {C_rel_who, {INFL_v, {mechanic_the:, {v_fix:θ:pst, {fix_θ, tools_his}}}}}}, {v_pack:θ:pst, {pack_θ, car_the}}}}} EXT: the mechanic who 3sg pst fix his tools 3sg pst pack the car Spellout: the mechanic who fixed his tools packed the car Blocked: inconsistent with input! INT/EXT: {C, {INFL_v, {{mechanic_the, {C_rel_who, {INFL_v, {mechanic_the:, {v_pack:θ:pst, {pack_θ, tools_his}}}}}}, {v_fix:θ:pst, {fix_θ, car_the}}}}} EXT: the mechanic who 3sg pst pack his tools 3sg pst fix the car Spellout: the mechanic who packed his tools fixed the car Blocked: inconsistent with input! INT/EXT: {C, {INFL_v, {{mechanic_the, {C_rel_who, {INFL_v, {mechanic_the:, {v_fix:θ:pst, {fix_θ, car_the}}}}}}, {v_pack:θ:pst, {pack_θ, tools_his}}}}} EXT: the mechanic who 3sg pst fix the car 3sg pst pack his tools Spellout: the mechanic who fixed the car packed his tools Parse found! SO = {C, {INFL_v, {{mechanic_the, {C_rel_who, {INFL_v, {mechanic_the, {v_fix:θ:pst, {fix_θ, car_the}}}}}}, {v_pack:θ:pst, {pack_θ, tools_his}}}}}, L = [the,mechanic,who,fixed,the,car,packed,his,tools] ; INT/EXT: {C, {INFL_v, {{mechanic_the, {C_rel_who, {INFL_v, {mechanic_the:, {v_pack:θ:pst, {pack_θ, {tools_his, car_the}}}}}}}, {v_fix:θ:pst, {fix_θ, mechanic_the}}}}} EXT: the mechanic who 3sg pst pack {[his,tools],[and],[the,car]} 3sg pst fix the mechanic Blocked: EXT inconsistent! Blocked: inconsistent with input! INT/EXT: {C, {INFL_v, {{mechanic_the, {C_rel_who, {INFL_v, {mechanic_the:, {v_fix:θ:pst, {fix_θ, mechanic_the}}}}}}, {v_pack:θ:pst, {pack_θ, {tools_his, car_the}}}}}} EXT: the mechanic who 3sg pst fix the mechanic 3sg pst pack {[his,tools],[and],[the,car]} Blocked: EXT inconsistent! Blocked: inconsistent with input! INT/EXT: {C, {INFL_v, {{mechanic_the, {C_rel_who, {INFL_v, {mechanic_the:, {v_fix:θ:pst, {fix_θ, mechanic_the}}}}}}, {v_pack:θ:pst, {pack_θ, {tools_his, car_the}}}}}} EXT: the mechanic who 3sg pst fix the mechanic 3sg pst pack {[his,tools],[and],[the,car]} Blocked: EXT inconsistent! Blocked: inconsistent with input! INT/EXT: {C, {INFL_v, {{mechanic_the, {C_rel_who, {INFL_v, {mechanic_the:, {v_pack:θ:pst, {pack_θ, {tools_his, car_the}}}}}}}, {v_fix:θ:pst, {fix_θ, mechanic_the}}}}} EXT: the mechanic who 3sg pst pack {[his,tools],[and],[the,car]} 3sg pst fix the mechanic Blocked: EXT inconsistent! Blocked: inconsistent with input! INT/EXT: {C, {INFL_v, {{mechanic_the, {C_rel_who, {INFL_v, {mechanic_the:, {v_fix:θ:pst, {fix_θ, mechanic_the}}}}}}, {v_pack:θ:pst, {pack_θ, {tools_his, car_the}}}}}} EXT: the mechanic who 3sg pst fix the mechanic 3sg pst pack {[his,tools],[and],[the,car]} Blocked: EXT inconsistent! Blocked: inconsistent with input! INT/EXT: {C, {INFL_v, {{mechanic_the, {C_rel_who, {INFL_v, {mechanic_the:, {v_pack:θ:pst, {pack_θ, {tools_his, car_the}}}}}}}, {v_fix:θ:pst, {fix_θ, mechanic_the}}}}} EXT: the mechanic who 3sg pst pack {[his,tools],[and],[the,car]} 3sg pst fix the mechanic Blocked: EXT inconsistent! Blocked: inconsistent with input! INT/EXT: {C, {INFL_v, {{mechanic_the, {C_rel_who, {INFL_v, {mechanic_the:, {v_pack:θ:pst, {pack_θ, {tools_his, car_the}}}}}}}, {v_fix:θ:pst, {fix_θ, {mechanic_the, {C_rel_who, {INFL_v, {mechanic_the:, {v_pack:θ:pst, {pack_θ, {tools_his, car_the}}}}}}}}}}}} EXT: the mechanic who 3sg pst pack {[his,tools],[and],[the,car]} 3sg pst fix the mechanic who 3sg pst pack {[his,tools],[and],[the,car]} Blocked: EXT inconsistent! Blocked: inconsistent with input! INT/EXT: {C, {INFL_v, {mechanic_the, {v_fix:θ:pst, {fix_θ, {mechanic_the, {C_rel_who, {INFL_v, {mechanic_the:, {v_pack:θ:pst, {pack_θ, {tools_his, car_the}}}}}}}}}}}} EXT: the mechanic 3sg pst fix the mechanic who 3sg pst pack {[his,tools],[and],[the,car]} Blocked: EXT inconsistent! Blocked: inconsistent with input! INT/EXT: {C, {INFL_v, {{mechanic_the, {C_rel_who, {INFL_v, {mechanic_the:, {v_pack:θ:pst, {pack_θ, mechanic_the}}}}}}, {v_fix:θ:pst, {fix_θ, {tools_his, car_the}}}}}} EXT: the mechanic who 3sg pst pack the mechanic 3sg pst fix {[his,tools],[and],[the,car]} Blocked: EXT inconsistent! Blocked: inconsistent with input! INT/EXT: {C, {INFL_v, {{mechanic_the, {C_rel_who, {INFL_v, {mechanic_the:, {v_fix:θ:pst, {fix_θ, {tools_his, car_the}}}}}}}, {v_pack:θ:pst, {pack_θ, mechanic_the}}}}} EXT: the mechanic who 3sg pst fix {[his,tools],[and],[the,car]} 3sg pst pack the mechanic Blocked: EXT inconsistent! Blocked: inconsistent with input! INT/EXT: {C, {INFL_v, {{mechanic_the, {C_rel_who, {INFL_v, {mechanic_the:, {v_fix:θ:pst, {fix_θ, {tools_his, car_the}}}}}}}, {v_pack:θ:pst, {pack_θ, {mechanic_the, {C_rel_who, {INFL_v, {mechanic_the:, {v_fix:θ:pst, {fix_θ, {tools_his, car_the}}}}}}}}}}}} EXT: the mechanic who 3sg pst fix {[his,tools],[and],[the,car]} 3sg pst pack the mechanic who 3sg pst fix {[his,tools],[and],[the,car]} Blocked: EXT inconsistent! Blocked: inconsistent with input! INT/EXT: {C, {INFL_v, {mechanic_the, {v_pack:θ:pst, {pack_θ, {mechanic_the, {C_rel_who, {INFL_v, {mechanic_the:, {v_fix:θ:pst, {fix_θ, {tools_his, car_the}}}}}}}}}}}} EXT: the mechanic 3sg pst pack the mechanic who 3sg pst fix {[his,tools],[and],[the,car]} Blocked: EXT inconsistent! Blocked: inconsistent with input! false. 110 ?- graphall. true. 111 ?-