( (IP-MAT (NP-SBJ;{VOICE} (PRO It;{it}))
          (VBD;_Tr_ said;{say})
          (PUNC :)
          (PULQ <ldquo>)
          (utterance-OB1 (IP-IMP (PP-SCON (P-CONN If;{if})
                                          (IP-ADV (NP-SBJ (PRO you;{you}))
                                                  (VBP;__ please;{please})))
                                 (PUNC <mdash>)
                                 (VB;__ draw;{draw})
                                 (NP-OB2;{PRINCE} (PRO me;{I}))
                                 (NP-OB1;{SHEEP} (D a;{a})
                                                 (N sheep;{sheep}))
                                 (PUNC !)))
          (PURQ <rdquo>))
  (ID 46_a_saint_exupery_1943))

arc(r_0046_0002__said,r_0046_0001__It,arg0).
arc(r_0046_0002__said,z_0046_5002__utterance,arg1).
arc(r_0046_0005__If,r_0046_0007__please,restriction).
arc(r_0046_0005__If,r_0046_0009__draw,scope).
arc(r_0046_0007__please,r_0046_0006__you,arg0).
arc(r_0046_0009__draw,r_0046_0010__me,arg2).
arc(r_0046_0009__draw,r_0046_0011__a_r_0046_0012__sheep,arg1).
arc(r_0046_0009__draw,z_0046_5004,arg0).
arc(z_0046_5002__utterance,r_0046_0005__If,part1).

fof(formula,axiom,
    ? [R_0046_0001__IT,Z_0046_5002__UTTERANCE,R_0046_0002__SAID] :
      ( r_0046_0001__It(R_0046_0001__IT)
      & r_0046_0002__said(R_0046_0002__SAID)
      & has_arg1(R_0046_0002__SAID,Z_0046_5002__UTTERANCE)
      & z_0046_5002__utterance(Z_0046_5002__UTTERANCE)
      & ! [R_0046_0007__PLEASE,R_0046_0006__YOU] :
          ( ( r_0046_0006__you(R_0046_0006__YOU)
            & r_0046_0007__please(R_0046_0007__PLEASE)
            & has_arg0(R_0046_0007__PLEASE,R_0046_0006__YOU) )
         => ? [R_0046_0010__ME,R_0046_0011__A_R_0046_0012__SHEEP,Z_0046_5004,R_0046_0009__DRAW] :
              ( r_0046_0010__me(R_0046_0010__ME)
              & r_0046_0011__a_r_0046_0012__sheep(R_0046_0011__A_R_0046_0012__SHEEP)
              & z_0046_5004(Z_0046_5004)
              & r_0046_0009__draw(R_0046_0009__DRAW)
              & has_arg0(R_0046_0009__DRAW,Z_0046_5004)
              & has_arg1(R_0046_0009__DRAW,R_0046_0011__A_R_0046_0012__SHEEP)
              & has_arg2(R_0046_0009__DRAW,R_0046_0010__ME) ) )
      & has_arg0(R_0046_0002__SAID,R_0046_0001__IT) ) ).