( (IP-IMP (VB;__ Draw;{draw})
          (NP-OB2;{PRINCE} (PRO me;{I}))
          (NP-OB1;{SHEEP} (D a;{a})
                          (N sheep;{sheep}))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 75_a_saint_exupery_1943))

arc(r_0075_0001__Draw,r_0075_0002__me,arg2).
arc(r_0075_0001__Draw,r_0075_0003__a_r_0075_0004__sheep,arg1).
arc(r_0075_0001__Draw,z_0075_5002,arg0).

fof(formula,axiom,
    ? [R_0075_0002__ME,R_0075_0003__A_R_0075_0004__SHEEP,Z_0075_5002,R_0075_0001__DRAW] :
      ( r_0075_0002__me(R_0075_0002__ME)
      & r_0075_0003__a_r_0075_0004__sheep(R_0075_0003__A_R_0075_0004__SHEEP)
      & z_0075_5002(Z_0075_5002)
      & r_0075_0001__Draw(R_0075_0001__DRAW)
      & has_arg0(R_0075_0001__DRAW,Z_0075_5002)
      & has_arg1(R_0075_0001__DRAW,R_0075_0003__A_R_0075_0004__SHEEP)
      & has_arg2(R_0075_0001__DRAW,R_0075_0002__ME) ) ).