48_a_wilde_1_1888
“What is the use of a statue if it can not keep the rain off?” he said;
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_48_20_SAID,R_48_19_HE] :
( he(R_48_19_HE)
& ( ~ ? [R_48_11_CAN_KEEP_OFF,R_48_7_A_STATUE,R_48_14_THE_RAIN] :
( a_statue(R_48_7_A_STATUE)
& the_rain(R_48_14_THE_RAIN)
& can_keep_off(R_48_11_CAN_KEEP_OFF,R_48_7_A_STATUE,R_48_14_THE_RAIN) )
=> ? [R_48_3_IS,R_48_2_WHAT,R_48_4_THE_USE,R_48_7_A_STATUE] :
( what(R_48_2_WHAT)
& a_statue(R_48_7_A_STATUE)
& is(R_48_3_IS,R_48_2_WHAT,R_48_4_THE_USE)
& the_use(R_48_4_THE_USE)
& of(R_48_4_THE_USE,R_48_7_A_STATUE) ) )
& arg1(ARG1)
& said(R_48_20_SAID,R_48_19_HE) ) ).
( (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))