42_a_duplex
Second, we wonder: do we want to live in a world where people can't even be bothered to make a two-minute phone call to book a haircut?
arc(r_0042_0006__do_r_0042_0008__want, r_0042_0007__we, arg0).
arc(r_0042_0006__do_r_0042_0008__want, r_0042_0009__to_r_0042_0010__live, arg1).
arc(r_0042_0009__to_r_0042_0010__live, r_0042_0007__we, arg0).
arc(r_0042_0009__to_r_0042_0010__live, r_0042_0012__a_r_0042_0013__world, r_0042_0011__in_clr32).
arc(r_0042_0016__ca, r_0042_0012__a_r_0042_0013__world, nim38).
arc(r_0042_0016__ca, r_0042_0019__be, scope).
arc(r_0042_0017__n_apos_t, r_0042_0016__ca, keep_scope).
arc(r_0042_0019__be, r_0042_0018__even, nim49).
arc(r_0042_0019__be, r_0042_0020__bothered, scope).
arc(r_0042_0020__bothered, r_0042_0015__people, arg2).
arc(r_0042_0020__bothered, z_000_42_a_duplex_55, arg0).
arc(r_0042_0020__bothered, z_000_42_a_duplex_74, arg1).
arc(r_0042_0021__to_r_0042_0022__make, r_0042_0015__people, arg0).
arc(r_0042_0021__to_r_0042_0022__make, r_0042_0023__a_r_0042_0025__phone_r_0042_0026__call, arg1).
arc(r_0042_0023__a_r_0042_0025__phone_r_0042_0026__call, r_0042_0024__two__hyphen__minute, attrib67).
arc(r_0042_0027__to_r_0042_0028__book, r_0042_0015__people, arg0).
arc(r_0042_0027__to_r_0042_0028__book, r_0042_0029__a_r_0042_0030__haircut, arg1).
arc(z_000_42_a_duplex_74, r_0042_0021__to_r_0042_0022__make, scope).
arc(z_000_42_a_duplex_74, r_0042_0027__to_r_0042_0028__book, restriction).
fof(formula,axiom,
? [R_0042_0007__WE,R_0042_0012__A_R_0042_0013__WORLD,R_0042_0009__TO_R_0042_0010__LIVE,R_0042_0006__DO_R_0042_0008__WANT] :
( r_0042_0007__we(R_0042_0007__WE)
& r_0042_0012__a_r_0042_0013__world(R_0042_0012__A_R_0042_0013__WORLD)
& ~ ? [R_0042_0018__EVEN,R_0042_0015__PEOPLE,Z_000_42_A_DUPLEX_55,R_0042_0024__TWO__HYPHEN__MINUTE,R_0042_0023__A_R_0042_0025__PHONE_R_0042_0026__CALL,R_0042_0021__TO_R_0042_0022__MAKE,R_0042_0029__A_R_0042_0030__HAIRCUT,R_0042_0027__TO_R_0042_0028__BOOK,Z_000_42_A_DUPLEX_74,R_0042_0016__CA_R_0042_0019__BE_R_0042_0020__BOTHERED] :
( r_0042_0015__people(R_0042_0015__PEOPLE)
& r_0042_0018__even(R_0042_0018__EVEN)
& r_0042_0024__two__hyphen__minute(R_0042_0024__TWO__HYPHEN__MINUTE)
& r_0042_0029__a_r_0042_0030__haircut(R_0042_0029__A_R_0042_0030__HAIRCUT)
& z_000_42_a_duplex_55(Z_000_42_A_DUPLEX_55)
& r_0042_0016__ca_r_0042_0019__be_r_0042_0020__bothered(R_0042_0016__CA_R_0042_0019__BE_R_0042_0020__BOTHERED)
& has_arg1(R_0042_0016__CA_R_0042_0019__BE_R_0042_0020__BOTHERED,Z_000_42_A_DUPLEX_74)
& z_000_42_a_duplex_74(Z_000_42_A_DUPLEX_74)
& has_conj1(Z_000_42_A_DUPLEX_74,R_0042_0027__TO_R_0042_0028__BOOK)
& r_0042_0027__to_r_0042_0028__book(R_0042_0027__TO_R_0042_0028__BOOK)
& has_arg1(R_0042_0027__TO_R_0042_0028__BOOK,R_0042_0029__A_R_0042_0030__HAIRCUT)
& has_arg0(R_0042_0027__TO_R_0042_0028__BOOK,R_0042_0015__PEOPLE)
& has_conj2(Z_000_42_A_DUPLEX_74,R_0042_0021__TO_R_0042_0022__MAKE)
& r_0042_0021__to_r_0042_0022__make(R_0042_0021__TO_R_0042_0022__MAKE)
& has_arg1(R_0042_0021__TO_R_0042_0022__MAKE,R_0042_0023__A_R_0042_0025__PHONE_R_0042_0026__CALL)
& r_0042_0023__a_r_0042_0025__phone_r_0042_0026__call(R_0042_0023__A_R_0042_0025__PHONE_R_0042_0026__CALL)
& has_attrib67(R_0042_0023__A_R_0042_0025__PHONE_R_0042_0026__CALL,R_0042_0024__TWO__HYPHEN__MINUTE)
& has_arg0(R_0042_0021__TO_R_0042_0022__MAKE,R_0042_0015__PEOPLE)
& has_arg0(R_0042_0016__CA_R_0042_0019__BE_R_0042_0020__BOTHERED,Z_000_42_A_DUPLEX_55)
& has_arg2(R_0042_0016__CA_R_0042_0019__BE_R_0042_0020__BOTHERED,R_0042_0015__PEOPLE)
& has_nim49(R_0042_0016__CA_R_0042_0019__BE_R_0042_0020__BOTHERED,R_0042_0018__EVEN)
& has_nim38(R_0042_0016__CA_R_0042_0019__BE_R_0042_0020__BOTHERED,R_0042_0012__A_R_0042_0013__WORLD) )
& r_0042_0006__do_r_0042_0008__want(R_0042_0006__DO_R_0042_0008__WANT)
& has_arg1(R_0042_0006__DO_R_0042_0008__WANT,R_0042_0009__TO_R_0042_0010__LIVE)
& r_0042_0009__to_r_0042_0010__live(R_0042_0009__TO_R_0042_0010__LIVE)
& has_r_0042_0011__in_clr32(R_0042_0009__TO_R_0042_0010__LIVE,R_0042_0012__A_R_0042_0013__WORLD)
& has_arg0(R_0042_0009__TO_R_0042_0010__LIVE,R_0042_0007__WE)
& has_arg0(R_0042_0006__DO_R_0042_0008__WANT,R_0042_0007__WE) ) ).
( (CP-QUE-MAT (IP-SUB (LST (LS Second))
(PUNC ,)
(PRN (IP-MAT (NP-SBJ;{PERSONS} (PRO we;{we}))
(VBP;_I_ wonder;{wonder})))
(PUNC :)
(DOP do;{do})
(NP-SBJ;{PERSONS} (PRO we;{we}))
(VB;_Tt_ want;{want})
(IP-INF-OB1 (TO to;{to})
(VB;_Ipr_ live;{live[in]})
(PP-CLR (P-ROLE in;{in})
(NP (D a;{a})
(N world;{world})
(IP-REL (ADVP-NIM (RADV where;{where}))
(NP-SBJ (NS people;{people}))
(MD;_cat_Vi_ ca;{can})
(NEG;_clitic_ n<apos>t;{not})
(IP-INF-CAT (ADVP-NIM (ADV even;{even}))
(BE;_cat_VePASS_ be;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tt_ bothered;{bother})
(IP-INF-OB1 (TO to;{to})
(VB;_Tn_ make;{make})
(NP-OB1 (D a;{a})
(ADJP (ADJ two_<hyphen>_minute;{two_minute}))
(N phone;{phone})
(N call;{call}))
(PP-SCON (IP-INF (TO to;{to})
(VB;_Tn_ book;{book})
(NP-OB1 (D a;{a})
(N haircut;{haircut}))))))))))))
(PUNC ?))
(ID 42_a_duplex))