( (IP-MAT (NP-SBJ;{SHEEP} (D The;{the})
                          (NS sheep;{sheep})
                          (IP-REL (NP-SBJ;{PRINCE} (PRO you;{you}))
                                  (VBD;__ asked;{ask})
                                  (PP-CLR (P-ROLE for;{for})
                                          (NP *T*))))
          (BEP;_Ip_ is;{be})
          (ADVP-CLR (ADV inside;{inside}))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 91_a_saint_exupery_1943))

arc(r_0091_0004__asked,r_0091_0001__The_r_0091_0002__sheep,r_0091_0005__for__inv_clr).
arc(r_0091_0004__asked,r_0091_0003__you,arg0).
arc(r_0091_0006__is_r_0091_0007__inside,r_0091_0001__The_r_0091_0002__sheep,arg0).

fof(formula,axiom,
    ? [R_0091_0003__YOU,R_0091_0004__ASKED,R_0091_0001__THE_R_0091_0002__SHEEP,R_0091_0006__IS_R_0091_0007__INSIDE] :
      ( r_0091_0003__you(R_0091_0003__YOU)
      & r_0091_0006__is_r_0091_0007__inside(R_0091_0006__IS_R_0091_0007__INSIDE)
      & has_arg0(R_0091_0006__IS_R_0091_0007__INSIDE,R_0091_0001__THE_R_0091_0002__SHEEP)
      & r_0091_0001__The_r_0091_0002__sheep(R_0091_0001__THE_R_0091_0002__SHEEP)
      & has_r_0091_0005__for__inv_clr(R_0091_0001__THE_R_0091_0002__SHEEP,R_0091_0004__ASKED)
      & r_0091_0004__asked(R_0091_0004__ASKED)
      & has_arg0(R_0091_0004__ASKED,R_0091_0003__YOU) ) ).