( (IP-MAT (NP-SBJ;{ARTWORK} (NP-GEN (PRO;_genm_ My;{my}))
                            (N drawing;{drawing}))
          (BED;_Ln_ was;{be})
          (NEG not;{not})
          (NP-PRD (D a;{a})
                  (N picture;{picture})
                  (PP (P-ROLE of;{of})
                      (NP (D a;{a})
                          (N hat;{hat}))))
          (PUNC .))
  (ID 13_a_saint_exupery_1943))

arc(r_0013_0002__drawing,r_0013_0001__My,gen).
arc(r_0013_0003__was,r_0013_0002__drawing,arg0).
arc(r_0013_0003__was,r_0013_0005__a_r_0013_0006__picture,prd).
arc(r_0013_0004__not,r_0013_0003__was,keep_scope).
arc(r_0013_0005__a_r_0013_0006__picture,r_0013_0008__a_r_0013_0009__hat,r_0013_0007__of).

fof(formula,axiom,
    ~ ? [R_0013_0001__MY,R_0013_0002__DRAWING,R_0013_0008__A_R_0013_0009__HAT,R_0013_0005__A_R_0013_0006__PICTURE,R_0013_0003__WAS] :
        ( r_0013_0001__My(R_0013_0001__MY)
        & r_0013_0008__a_r_0013_0009__hat(R_0013_0008__A_R_0013_0009__HAT)
        & r_0013_0003__was(R_0013_0003__WAS)
        & has_prd(R_0013_0003__WAS,R_0013_0005__A_R_0013_0006__PICTURE)
        & r_0013_0005__a_r_0013_0006__picture(R_0013_0005__A_R_0013_0006__PICTURE)
        & has_r_0013_0007__of(R_0013_0005__A_R_0013_0006__PICTURE,R_0013_0008__A_R_0013_0009__HAT)
        & has_arg0(R_0013_0003__WAS,R_0013_0002__DRAWING)
        & r_0013_0002__drawing(R_0013_0002__DRAWING)
        & has_gen(R_0013_0002__DRAWING,R_0013_0001__MY) ) ).