( (IP-MAT (CONJ;_cl_ And;{and})
          (NP-SBJ (PRO I;{I}))
          (VBD;_phr_Vn<=>p_ threw;{throw[out]})
          (RP out;{out})
          (NP-OB1 (D an;{an})
                  (N explanation;{explanation}))
          (PP-NIM (P-ROLE with;{with})
                  (NP;{ARTWORK} (PRO it;{it})))
          (PUNC .))
  (ID 89_a_saint_exupery_1943))

arc(r_0089_0003__threw_r_0089_0004__out,r_0089_0002__I,arg0).
arc(r_0089_0003__threw_r_0089_0004__out,r_0089_0005__an_r_0089_0006__explanation,arg1).
arc(r_0089_0003__threw_r_0089_0004__out,r_0089_0008__it,r_0089_0007__with__nim).

fof(formula,axiom,
    ? [R_0089_0002__I,R_0089_0005__AN_R_0089_0006__EXPLANATION,R_0089_0008__IT,R_0089_0003__THREW_R_0089_0004__OUT] :
      ( r_0089_0002__I(R_0089_0002__I)
      & r_0089_0005__an_r_0089_0006__explanation(R_0089_0005__AN_R_0089_0006__EXPLANATION)
      & r_0089_0008__it(R_0089_0008__IT)
      & r_0089_0003__threw_r_0089_0004__out(R_0089_0003__THREW_R_0089_0004__OUT)
      & has_r_0089_0007__with__nim(R_0089_0003__THREW_R_0089_0004__OUT,R_0089_0008__IT)
      & has_arg1(R_0089_0003__THREW_R_0089_0004__OUT,R_0089_0005__AN_R_0089_0006__EXPLANATION)
      & has_arg0(R_0089_0003__THREW_R_0089_0004__OUT,R_0089_0002__I) ) ).