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?
( (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))
arc(r_0042_0004__wonder,r_0042_0003__we,arg0).
arc(r_0042_0006__do_r_0042_0008__want,r_0042_0003__we,arg0).
arc(r_0042_0006__do_r_0042_0008__want,r_0042_0004__wonder,prn).
arc(r_0042_0006__do_r_0042_0008__want,r_0042_0010__live_r_0042_0011__in,arg1).
arc(r_0042_0010__live_r_0042_0011__in,r_0042_0003__we,arg0).
arc(r_0042_0010__live_r_0042_0011__in,r_0042_0012__a_r_0042_0013__world,arg1).
arc(r_0042_0016__ca,r_0042_0012__a_r_0042_0013__world,nim).
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,nim).
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_0042_5013,arg1).
arc(r_0042_0020__bothered,z_0042_5018___star_,arg0).
arc(r_0042_0022__make,r_0042_0015__people,arg0).
arc(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,attrib).
arc(r_0042_0028__book,r_0042_0023__a_r_0042_0025__phone_r_0042_0026__call,arg0).
arc(r_0042_0028__book,r_0042_0029__a_r_0042_0030__haircut,arg1).
arc(z_0042_5013,r_0042_0022__make,scope).
arc(z_0042_5013,r_0042_0028__book,restriction).
fof(formula,axiom,
? [R_0042_0003__WE,R_0042_0004__WONDER,R_0042_0012__A_R_0042_0013__WORLD,R_0042_0010__LIVE_R_0042_0011__IN,R_0042_0006__DO_R_0042_0008__WANT] :
( r_0042_0003__we(R_0042_0003__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,R_0042_0024__TWO__HYPHEN__MINUTE,R_0042_0023__A_R_0042_0025__PHONE_R_0042_0026__CALL,R_0042_0022__MAKE,R_0042_0029__A_R_0042_0030__HAIRCUT,R_0042_0028__BOOK,Z_0042_5013,Z_0042_5018___STAR_,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_0042_5018___star_(Z_0042_5018___STAR_)
& 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_arg0(R_0042_0016__CA_R_0042_0019__BE_R_0042_0020__BOTHERED,Z_0042_5018___STAR_)
& has_arg1(R_0042_0016__CA_R_0042_0019__BE_R_0042_0020__BOTHERED,Z_0042_5013)
& z_0042_5013(Z_0042_5013)
& has_conj1(Z_0042_5013,R_0042_0028__BOOK)
& r_0042_0028__book(R_0042_0028__BOOK)
& has_arg1(R_0042_0028__BOOK,R_0042_0029__A_R_0042_0030__HAIRCUT)
& has_arg0(R_0042_0028__BOOK,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_attrib(R_0042_0023__A_R_0042_0025__PHONE_R_0042_0026__CALL,R_0042_0024__TWO__HYPHEN__MINUTE)
& has_conj2(Z_0042_5013,R_0042_0022__MAKE)
& r_0042_0022__make(R_0042_0022__MAKE)
& has_arg1(R_0042_0022__MAKE,R_0042_0023__A_R_0042_0025__PHONE_R_0042_0026__CALL)
& has_arg0(R_0042_0022__MAKE,R_0042_0015__PEOPLE)
& has_arg2(R_0042_0016__CA_R_0042_0019__BE_R_0042_0020__BOTHERED,R_0042_0015__PEOPLE)
& has_nim(R_0042_0016__CA_R_0042_0019__BE_R_0042_0020__BOTHERED,R_0042_0018__EVEN)
& has_nim(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_0010__LIVE_R_0042_0011__IN)
& r_0042_0010__live_r_0042_0011__in(R_0042_0010__LIVE_R_0042_0011__IN)
& has_arg1(R_0042_0010__LIVE_R_0042_0011__IN,R_0042_0012__A_R_0042_0013__WORLD)
& has_arg0(R_0042_0010__LIVE_R_0042_0011__IN,R_0042_0003__WE)
& has_prn(R_0042_0006__DO_R_0042_0008__WANT,R_0042_0004__WONDER)
& r_0042_0004__wonder(R_0042_0004__WONDER)
& has_arg0(R_0042_0004__WONDER,R_0042_0003__WE)
& has_arg0(R_0042_0006__DO_R_0042_0008__WANT,R_0042_0003__WE) ) ).