( (IP-MAT (ADVP-NIM (ADV So;{so}))
          (NP-SBJ (PRO I;{I}))
          (VBD;_phr_Vn<=>p_ tossed;{toss[off]})
          (RP off;{off})
          (NP-OB1;{ARTWORK} (D this;{this})
                            (N drawing;{drawing}))
          (PUNC .))
  (ID 88_a_saint_exupery_1943))

arc(r_0088_0003__tossed_r_0088_0004__off,r_0088_0001__So,nim).
arc(r_0088_0003__tossed_r_0088_0004__off,r_0088_0002__I,arg0).
arc(r_0088_0003__tossed_r_0088_0004__off,r_0088_0005__this_r_0088_0006__drawing,arg1).

fof(formula,axiom,
    ? [R_0088_0001__SO,R_0088_0002__I,R_0088_0005__THIS_R_0088_0006__DRAWING,R_0088_0003__TOSSED_R_0088_0004__OFF] :
      ( r_0088_0001__So(R_0088_0001__SO)
      & r_0088_0002__I(R_0088_0002__I)
      & r_0088_0005__this_r_0088_0006__drawing(R_0088_0005__THIS_R_0088_0006__DRAWING)
      & r_0088_0003__tossed_r_0088_0004__off(R_0088_0003__TOSSED_R_0088_0004__OFF)
      & has_arg1(R_0088_0003__TOSSED_R_0088_0004__OFF,R_0088_0005__THIS_R_0088_0006__DRAWING)
      & has_arg0(R_0088_0003__TOSSED_R_0088_0004__OFF,R_0088_0002__I)
      & has_nim(R_0088_0003__TOSSED_R_0088_0004__OFF,R_0088_0001__SO) ) ).