97_a_saint_exupery_1943
“There will surely be enough grass for him,” I said.
arc(r_0097_0002__There_r_0097_0003__will, r_0097_0005__be, scope).
arc(r_0097_0005__be, r_0097_0004__surely, nim9).
arc(r_0097_0005__be, r_0097_0007__grass, arg0).
arc(r_0097_0007__grass, r_0097_0006__enough, attrib15).
arc(r_0097_0007__grass, r_0097_0009__him, r_0097_0008__for).
fof(formula,axiom,
? [R_0097_0004__SURELY,R_0097_0006__ENOUGH,R_0097_0009__HIM,R_0097_0007__GRASS,R_0097_0002__THERE_R_0097_0003__WILL_R_0097_0005__BE] :
( r_0097_0004__surely(R_0097_0004__SURELY)
& r_0097_0006__enough(R_0097_0006__ENOUGH)
& r_0097_0009__him(R_0097_0009__HIM)
& r_0097_0002__There_r_0097_0003__will_r_0097_0005__be(R_0097_0002__THERE_R_0097_0003__WILL_R_0097_0005__BE)
& has_arg0(R_0097_0002__THERE_R_0097_0003__WILL_R_0097_0005__BE,R_0097_0007__GRASS)
& r_0097_0007__grass(R_0097_0007__GRASS)
& has_r_0097_0008__for(R_0097_0007__GRASS,R_0097_0009__HIM)
& has_attrib15(R_0097_0007__GRASS,R_0097_0006__ENOUGH)
& has_nim9(R_0097_0002__THERE_R_0097_0003__WILL_R_0097_0005__BE,R_0097_0004__SURELY) ) ).
( (IP-MAT (PULQ <ldquo>)
(EX There;{there})
(MD;_cat_Vi_ will;{will})
(IP-INF-CAT (ADVP-NIM (ADV surely;{surely}))
(BE;_ex_V_ be;{be})
(NP-ESBJ (ADJP (ADJR enough;{enough}))
(N grass;{grass})
(PP (P-ROLE for;{for})
(NP;{SHEEP} (PRO him;{he})))))
(PUNC ,)
(PURQ <rdquo>)
(PRN (IP-MAT (NP-SBJ (PRO I;{I}))
(VBD;_Tn_ said;{say})))
(PUNC .))
(ID 97_a_saint_exupery_1943))