74_a_saint_exupery_1943
What I need is a sheep.
arc(r_0074_0003__need, r_0074_0002__I, arg0).
arc(r_0074_0003__need, z_000_74_a_saint_exupery_1943_2, arg1).
arc(r_0074_0004__is, r_0074_0005__a_r_0074_0006__sheep, prd).
arc(r_0074_0004__is, z_000_74_a_saint_exupery_1943_2, arg0).
fof(formula,axiom,
? [R_74_3_NEED,R_74_2_I,R_74_4_IS,Z_74_A_SAINT_EXUPERY_1943_2,R_74_5_A_SHEEP] :
( i(R_74_2_I)
& a_sheep(R_74_5_A_SHEEP)
& need(R_74_3_NEED,R_74_2_I,Z_74_A_SAINT_EXUPERY_1943_2)
& is(R_74_4_IS,Z_74_A_SAINT_EXUPERY_1943_2,R_74_5_A_SHEEP) ) ).
( (IP-MAT (NP-SBJ (IP-REL (NP-OB1 (RPRO What;{what}))
(NP-SBJ;{PRINCE} (PRO I;{I}))
(VBP;__ need;{need})))
(BEP;_Ln_ is;{be})
(NP-PRD;{SHEEP} (D a;{a})
(N sheep;{sheep}))
(PUNC .))
(ID 74_a_saint_exupery_1943))