( (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))

arc(r_0074_0003__need,r_0074_0001__What,arg1).
arc(r_0074_0003__need,r_0074_0002__I,arg0).
arc(r_0074_0004__is,r_0074_0001__What,arg0).
arc(r_0074_0004__is,r_0074_0005__a_r_0074_0006__sheep,prd).

fof(formula,axiom,
    ? [R_0074_0001__WHAT,R_0074_0002__I,R_0074_0003__NEED,R_0074_0005__A_R_0074_0006__SHEEP,R_0074_0004__IS] :
      ( r_0074_0001__What(R_0074_0001__WHAT)
      & r_0074_0002__I(R_0074_0002__I)
      & r_0074_0005__a_r_0074_0006__sheep(R_0074_0005__A_R_0074_0006__SHEEP)
      & r_0074_0004__is(R_0074_0004__IS)
      & has_prd(R_0074_0004__IS,R_0074_0005__A_R_0074_0006__SHEEP)
      & has_arg0(R_0074_0004__IS,R_0074_0001__WHAT)
      & r_0074_0003__need(R_0074_0003__NEED)
      & has_arg0(R_0074_0003__NEED,R_0074_0002__I)
      & has_arg1(R_0074_0003__NEED,R_0074_0001__WHAT) ) ).