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_0074_0002__I,Z_000_74_A_SAINT_EXUPERY_1943_2,R_0074_0003__NEED,R_0074_0005__A_R_0074_0006__SHEEP,R_0074_0004__IS] :
( r_0074_0002__I(R_0074_0002__I)
& r_0074_0005__a_r_0074_0006__sheep(R_0074_0005__A_R_0074_0006__SHEEP)
& z_000_74_a_saint_exupery_1943_2(Z_000_74_A_SAINT_EXUPERY_1943_2)
& r_0074_0004__is(R_0074_0004__IS)
& has_arg0(R_0074_0004__IS,Z_000_74_A_SAINT_EXUPERY_1943_2)
& has_prd(R_0074_0004__IS,R_0074_0005__A_R_0074_0006__SHEEP)
& r_0074_0003__need(R_0074_0003__NEED)
& has_arg1(R_0074_0003__NEED,Z_000_74_A_SAINT_EXUPERY_1943_2)
& has_arg0(R_0074_0003__NEED,R_0074_0002__I) ) ).
( (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))