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_42_6_DO_WANT,R_42_9_TO_LIVE,R_42_7_WE,R_42_12_A_WORLD] :
( we(R_42_7_WE)
& a_world(R_42_12_A_WORLD)
& do_want(R_42_6_DO_WANT,R_42_7_WE,R_42_9_TO_LIVE)
& to_live(R_42_9_TO_LIVE,R_42_7_WE)
& in_clr32(R_42_9_TO_LIVE,R_42_12_A_WORLD)
& ~ ? [R_42_16_CA_BE_BOTHERED,Z_42_A_DUPLEX_55,Z_42_A_DUPLEX_74,R_42_27_TO_BOOK,R_42_29_A_HAIRCUT,R_42_21_TO_MAKE,R_42_23_A_PHONE_CALL,R_42_24_TWO_HYPHEN_MINUTE,R_42_15_PEOPLE,R_42_18_EVEN] :
( a_haircut(R_42_29_A_HAIRCUT)
& two_hyphen_minute(R_42_24_TWO_HYPHEN_MINUTE)
& people(R_42_15_PEOPLE)
& even(R_42_18_EVEN)
& ca_be_bothered(R_42_16_CA_BE_BOTHERED,Z_42_A_DUPLEX_55,Z_42_A_DUPLEX_74,R_42_15_PEOPLE)
& z_42_a_duplex_74(Z_42_A_DUPLEX_74)
& conj1(Z_42_A_DUPLEX_74,R_42_27_TO_BOOK)
& to_book(R_42_27_TO_BOOK,R_42_15_PEOPLE,R_42_29_A_HAIRCUT)
& conj2(Z_42_A_DUPLEX_74,R_42_21_TO_MAKE)
& to_make(R_42_21_TO_MAKE,R_42_15_PEOPLE,R_42_23_A_PHONE_CALL)
& a_phone_call(R_42_23_A_PHONE_CALL)
& attrib67(R_42_23_A_PHONE_CALL,R_42_24_TWO_HYPHEN_MINUTE)
& nim38(R_42_16_CA_BE_BOTHERED,R_42_12_A_WORLD)
& nim49(R_42_16_CA_BE_BOTHERED,R_42_18_EVEN) ) ) ).
( (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))