( (IP-MAT (CONJ;_cl_ But;{but})
          (NP-SBJ;{ARTWORK} (NP-GEN (PRO;_genm_ my;{my}))
                            (N drawing;{drawing}))
          (BEP;_La_ is;{be})
          (ADVP-NIM (ADV certainly;{certainly}))
          (ADJP-PRD (NP (ADJP (ADVP (ADVP (ADV very;{very}))
                                    (ADV much;{much}))
                              (ADJ less;{less})
                              (PP *ICH*-131)))
                    (ADJ charming;{charming})
                    (PP-EPD-131 (P-ROLE than;{than})
                                (NP (NP-GEN;{ARTWORK} (PRO;_genm_ its;{its}))
                                    (N model;{model}))))
          (PUNC .))
  (ID 54_a_saint_exupery_1943))

arc(r_0054_0003__drawing,r_0054_0002__my,gen).
arc(r_0054_0004__is,r_0054_0003__drawing,arg0).
arc(r_0054_0004__is,r_0054_0005__certainly,nim).
arc(r_0054_0004__is,r_0054_0009__charming,prd).
arc(r_0054_0007__much,r_0054_0006__very,qual).
arc(r_0054_0008__less,r_0054_0007__much,qual).
arc(r_0054_0008__less,r_0054_0012__model,r_0054_0010__than).
arc(r_0054_0009__charming,z_0054_5009,nim).
arc(r_0054_0012__model,r_0054_0003__drawing,gen).
arc(z_0054_5009,r_0054_0008__less,attrib).

fof(formula,axiom,
    ? [R_0054_0002__MY,R_0054_0003__DRAWING,R_0054_0005__CERTAINLY,R_0054_0006__VERY,R_0054_0007__MUCH,R_0054_0012__MODEL,R_0054_0008__LESS,Z_0054_5009,R_0054_0009__CHARMING,R_0054_0004__IS] :
      ( r_0054_0002__my(R_0054_0002__MY)
      & r_0054_0005__certainly(R_0054_0005__CERTAINLY)
      & r_0054_0006__very(R_0054_0006__VERY)
      & r_0054_0004__is(R_0054_0004__IS)
      & has_prd(R_0054_0004__IS,R_0054_0009__CHARMING)
      & r_0054_0009__charming(R_0054_0009__CHARMING)
      & has_nim(R_0054_0009__CHARMING,Z_0054_5009)
      & z_0054_5009(Z_0054_5009)
      & has_attrib(Z_0054_5009,R_0054_0008__LESS)
      & r_0054_0008__less(R_0054_0008__LESS)
      & has_r_0054_0010__than(R_0054_0008__LESS,R_0054_0012__MODEL)
      & r_0054_0012__model(R_0054_0012__MODEL)
      & has_gen(R_0054_0012__MODEL,R_0054_0003__DRAWING)
      & r_0054_0003__drawing(R_0054_0003__DRAWING)
      & has_gen(R_0054_0003__DRAWING,R_0054_0002__MY)
      & has_qual(R_0054_0008__LESS,R_0054_0007__MUCH)
      & r_0054_0007__much(R_0054_0007__MUCH)
      & has_qual(R_0054_0007__MUCH,R_0054_0006__VERY)
      & has_nim(R_0054_0004__IS,R_0054_0005__CERTAINLY)
      & has_arg0(R_0054_0004__IS,R_0054_0003__DRAWING) ) ).