arc(r_0080_0003__see, r_0080_0002__You, arg0).
arc(r_0080_0003__see, r_0080_0002__You, nim9).
arc(r_0080_0003__see, r_0080_0014__not, arg1).
arc(r_0080_0011__that_r_0080_0013__is, r_0080_0012__this, arg0).
arc(r_0080_0011__that_r_0080_0013__is, r_0080_0015__a_r_0080_0016__sheep, prd).
arc(r_0080_0014__not, r_0080_0011__that_r_0080_0013__is, keep_scope).

fof(formula,axiom,
    ? [R_80_3_SEE,R_80_2_YOU] :
      ( you(R_80_2_YOU)
      & see(R_80_3_SEE,R_80_2_YOU,R_80_14_NOT)
      & ~ ? [R_80_11_THAT_IS,R_80_12_THIS,R_80_15_A_SHEEP] :
            ( this(R_80_12_THIS)
            & a_sheep(R_80_15_A_SHEEP)
            & that_is(R_80_11_THAT_IS,R_80_12_THIS,R_80_15_A_SHEEP) )
      & nim9(R_80_3_SEE,R_80_2_YOU) ) ).

( (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))