( (IP-MAT (ADVP-NIM (ADV So;{so}))
          (NP-SBJ (PRO I;{I}))
          (VBD;__ drew;{draw})
          (PP-NIM (P-ROLE for;{for})
                  (NP;{PRINCE} (PRO him;{he})))
          (NP-OB1;{ARTWORK} (NUM one;{one})
                            (PP (P-ROLE of;{of})
                                (NP (D the;{the})
                                    (NUM two;{two})
                                    (NS pictures;{picture})
                                    (IP-REL (NP-SBJ (PRO I;{I}))
                                            (HVD;_cat_Ve_ had;{have})
                                            (IP-PPL-CAT (NP-OB1 *T*)
                                                        (VVN;__ drawn;{draw})
                                                        (ADVP-NIM (ADVP (ADV so;{so}))
                                                                  (ADV often;{often})))))))
          (PUNC .))
  (ID 68_a_saint_exupery_1943))

arc(r_0068_0003__drew,r_0068_0001__So,nim).
arc(r_0068_0003__drew,r_0068_0002__I,arg0).
arc(r_0068_0003__drew,r_0068_0005__him,r_0068_0004__for__nim).
arc(r_0068_0003__drew,r_0068_0006__one,arg1).
arc(r_0068_0006__one,r_0068_0008__the_r_0068_0009__two_r_0068_0010__pictures,r_0068_0007__of).
arc(r_0068_0012__had,r_0068_0013__drawn,scope).
arc(r_0068_0013__drawn,r_0068_0002__I,arg0).
arc(r_0068_0013__drawn,r_0068_0008__the_r_0068_0009__two_r_0068_0010__pictures,inv_arg1).
arc(r_0068_0013__drawn,r_0068_0015__often,nim).
arc(r_0068_0015__often,r_0068_0014__so,qual).

fof(formula,axiom,
    ? [R_0068_0001__SO,R_0068_0002__I,R_0068_0005__HIM,R_0068_0014__SO,R_0068_0015__OFTEN,R_0068_0012__HAD_R_0068_0013__DRAWN,R_0068_0008__THE_R_0068_0009__TWO_R_0068_0010__PICTURES,R_0068_0006__ONE,R_0068_0003__DREW] :
      ( r_0068_0001__So(R_0068_0001__SO)
      & r_0068_0002__I(R_0068_0002__I)
      & r_0068_0005__him(R_0068_0005__HIM)
      & r_0068_0014__so(R_0068_0014__SO)
      & r_0068_0003__drew(R_0068_0003__DREW)
      & has_arg1(R_0068_0003__DREW,R_0068_0006__ONE)
      & r_0068_0006__one(R_0068_0006__ONE)
      & has_r_0068_0007__of(R_0068_0006__ONE,R_0068_0008__THE_R_0068_0009__TWO_R_0068_0010__PICTURES)
      & r_0068_0008__the_r_0068_0009__two_r_0068_0010__pictures(R_0068_0008__THE_R_0068_0009__TWO_R_0068_0010__PICTURES)
      & has_inv_arg1(R_0068_0008__THE_R_0068_0009__TWO_R_0068_0010__PICTURES,R_0068_0012__HAD_R_0068_0013__DRAWN)
      & r_0068_0012__had_r_0068_0013__drawn(R_0068_0012__HAD_R_0068_0013__DRAWN)
      & has_nim(R_0068_0012__HAD_R_0068_0013__DRAWN,R_0068_0015__OFTEN)
      & r_0068_0015__often(R_0068_0015__OFTEN)
      & has_qual(R_0068_0015__OFTEN,R_0068_0014__SO)
      & has_arg0(R_0068_0012__HAD_R_0068_0013__DRAWN,R_0068_0002__I)
      & has_r_0068_0004__for__nim(R_0068_0003__DREW,R_0068_0005__HIM)
      & has_arg0(R_0068_0003__DREW,R_0068_0002__I)
      & has_nim(R_0068_0003__DREW,R_0068_0001__SO) ) ).