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

arc(r_0048_0002__Draw,r_0048_0003__me,arg2).
arc(r_0048_0002__Draw,r_0048_0004__a_r_0048_0005__sheep,arg1).
arc(r_0048_0002__Draw,z_0048_5002,arg0).

fof(formula,axiom,
    ? [R_0048_0003__ME,R_0048_0004__A_R_0048_0005__SHEEP,Z_0048_5002,R_0048_0002__DRAW] :
      ( r_0048_0003__me(R_0048_0003__ME)
      & r_0048_0004__a_r_0048_0005__sheep(R_0048_0004__A_R_0048_0005__SHEEP)
      & z_0048_5002(Z_0048_5002)
      & r_0048_0002__Draw(R_0048_0002__DRAW)
      & has_arg0(R_0048_0002__DRAW,Z_0048_5002)
      & has_arg1(R_0048_0002__DRAW,R_0048_0004__A_R_0048_0005__SHEEP)
      & has_arg2(R_0048_0002__DRAW,R_0048_0003__ME) ) ).