( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ (PRO You;{you}))
          (VBP;_Tf_ see;{see})
          (NP-RFL (PNX yourself;{yourself}))
          (PUNC ,)
          (PURQ <rdquo>)
          (PRN (IP-MAT (NP-SBJ;{PRINCE} (PRO he;{he}))
                       (VBD;_Tr_ said;{say})))
          (PUNC ,)
          (PULQ <ldquo>)
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (NP-SBJ;{ARTWORK} (D;_nphd_ this;{this}))
                              (BEP;_Ln_ is;{be})
                              (NEG not;{not})
                              (NP-PRD;{SHEEP} (D a;{a})
                                              (N sheep;{sheep}))))
          (PUNC .))
  (ID 80_a_saint_exupery_1943))

arc(r_0080_0003__see,r_0080_0002__You,arg0).
arc(r_0080_0003__see,r_0080_0002__You,rfl).
arc(r_0080_0003__see,r_0080_0008__said,prn).
arc(r_0080_0003__see,r_0080_0014__not,arg1).
arc(r_0080_0008__said,r_0080_0007__he,arg0).
arc(r_0080_0013__is,r_0080_0012__this,arg0).
arc(r_0080_0013__is,r_0080_0015__a_r_0080_0016__sheep,prd).
arc(r_0080_0014__not,r_0080_0013__is,keep_scope).

fof(formula,axiom,
    ? [R_0080_0002__YOU,R_0080_0007__HE,R_0080_0008__SAID,R_0080_0003__SEE] :
      ( r_0080_0002__You(R_0080_0002__YOU)
      & r_0080_0007__he(R_0080_0007__HE)
      & r_0080_0003__see(R_0080_0003__SEE)
      & has_arg1(R_0080_0003__SEE,R_0080_0014__NOT)
      & ~ ? [R_0080_0012__THIS,R_0080_0015__A_R_0080_0016__SHEEP,R_0080_0013__IS] :
            ( r_0080_0012__this(R_0080_0012__THIS)
            & r_0080_0015__a_r_0080_0016__sheep(R_0080_0015__A_R_0080_0016__SHEEP)
            & r_0080_0013__is(R_0080_0013__IS)
            & has_prd(R_0080_0013__IS,R_0080_0015__A_R_0080_0016__SHEEP)
            & has_arg0(R_0080_0013__IS,R_0080_0012__THIS) )
      & has_prn(R_0080_0003__SEE,R_0080_0008__SAID)
      & r_0080_0008__said(R_0080_0008__SAID)
      & has_arg0(R_0080_0008__SAID,R_0080_0007__HE)
      & has_rfl(R_0080_0003__SEE,R_0080_0002__YOU)
      & has_arg0(R_0080_0003__SEE,R_0080_0002__YOU) ) ).