48_a_wilde_1_1888
“What is the use of a statue if it can not keep the rain off?” he said;
( (IP-MAT (PULQ <ldquo>)
(CP-QUE-OB1 (IP-SUB (NP-SBJ (WPRO What;{what}))
(BEP;_Ln_ is;{be})
(NP-PRD (D the;{the})
(N use;{use})
(PP (P-ROLE of;{of})
(NP;{STATUE} (D a;{a})
(N statue;{statue}))))
(PP-SCON (P-CONN if;{if})
(IP-ADV (NP-SBJ;{STATUE} (PRO it;{it}))
(MD;_cat_Vi_ can;{can})
(NEG not;{not})
(IP-INF-CAT (VB;_phr_Vn<=>p_ keep;{keep})
(NP-OB1 (D the;{the})
(N rain;{rain}))
(RP off;{off})))))
(PUNC ?))
(PURQ <rdquo>)
(NP-SBJ;{SWALLOW} (PRO he;{he}))
(VBD;_Tr_ said;{say})
(PUNC ;))
(ID 48_a_wilde_1_1888))
arc(r_0048_0003__is,r_0048_0002__What,arg0).
arc(r_0048_0003__is,r_0048_0004__the_r_0048_0005__use,prd).
arc(r_0048_0004__the_r_0048_0005__use,r_0048_0007__a_r_0048_0008__statue,r_0048_0006__of).
arc(r_0048_0009__if,r_0048_0003__is,scope).
arc(r_0048_0009__if,r_0048_0012__not,restriction).
arc(r_0048_0011__can,r_0048_0013__keep_r_0048_0016__off,scope).
arc(r_0048_0012__not,r_0048_0011__can,keep_scope).
arc(r_0048_0013__keep_r_0048_0016__off,r_0048_0007__a_r_0048_0008__statue,arg0).
arc(r_0048_0013__keep_r_0048_0016__off,r_0048_0014__the_r_0048_0015__rain,arg1).
arc(r_0048_0020__said,r_0048_0009__if,arg1).
arc(r_0048_0020__said,r_0048_0019__he,arg0).
fof(formula,axiom,
? [R_0048_0019__HE,R_0048_0020__SAID] :
( r_0048_0019__he(R_0048_0019__HE)
& r_0048_0020__said(R_0048_0020__SAID)
& has_arg0(R_0048_0020__SAID,R_0048_0019__HE)
& ! [R_0048_0012__NOT] :
( ~ ? [R_0048_0007__A_R_0048_0008__STATUE,R_0048_0014__THE_R_0048_0015__RAIN,R_0048_0011__CAN_R_0048_0013__KEEP_R_0048_0016__OFF] :
( r_0048_0007__a_r_0048_0008__statue(R_0048_0007__A_R_0048_0008__STATUE)
& r_0048_0014__the_r_0048_0015__rain(R_0048_0014__THE_R_0048_0015__RAIN)
& r_0048_0011__can_r_0048_0013__keep_r_0048_0016__off(R_0048_0011__CAN_R_0048_0013__KEEP_R_0048_0016__OFF)
& has_arg1(R_0048_0011__CAN_R_0048_0013__KEEP_R_0048_0016__OFF,R_0048_0014__THE_R_0048_0015__RAIN)
& has_arg0(R_0048_0011__CAN_R_0048_0013__KEEP_R_0048_0016__OFF,R_0048_0007__A_R_0048_0008__STATUE) )
=> ? [R_0048_0002__WHAT,R_0048_0007__A_R_0048_0008__STATUE,R_0048_0004__THE_R_0048_0005__USE,R_0048_0003__IS] :
( r_0048_0002__What(R_0048_0002__WHAT)
& r_0048_0007__a_r_0048_0008__statue(R_0048_0007__A_R_0048_0008__STATUE)
& r_0048_0003__is(R_0048_0003__IS)
& has_prd(R_0048_0003__IS,R_0048_0004__THE_R_0048_0005__USE)
& r_0048_0004__the_r_0048_0005__use(R_0048_0004__THE_R_0048_0005__USE)
& has_r_0048_0006__of(R_0048_0004__THE_R_0048_0005__USE,R_0048_0007__A_R_0048_0008__STATUE)
& has_arg0(R_0048_0003__IS,R_0048_0002__WHAT) ) ) ) ).