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_97_2_THERE_WILL_BE,R_97_7_GRASS,R_97_6_ENOUGH,R_97_9_HIM,R_97_4_SURELY] :
( enough(R_97_6_ENOUGH)
& him(R_97_9_HIM)
& surely(R_97_4_SURELY)
& there_will_be(R_97_2_THERE_WILL_BE,R_97_7_GRASS)
& grass(R_97_7_GRASS)
& attrib15(R_97_7_GRASS,R_97_6_ENOUGH)
& for(R_97_7_GRASS,R_97_9_HIM)
& nim9(R_97_2_THERE_WILL_BE,R_97_4_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))