arc(r_0054_0001__But_r_0054_0004__is, r_0054_0003__drawing, arg0).
arc(r_0054_0001__But_r_0054_0004__is, r_0054_0005__certainly, nim12).
arc(r_0054_0001__But_r_0054_0004__is, r_0054_0009__charming, prd).
arc(r_0054_0003__drawing, r_0054_0002__my, gen).
arc(r_0054_0007__much, r_0054_0006__very, qual19).
arc(r_0054_0008__less, r_0054_0007__much, qual18).
arc(r_0054_0008__less, r_0054_0012__model, r_0054_0010__than).
arc(r_0054_0009__charming, z_000_54_a_saint_exupery_1943_16, nim16).
arc(r_0054_0012__model, r_0054_0003__drawing, gen).
arc(z_000_54_a_saint_exupery_1943_16, r_0054_0008__less, attrib17).

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_000_54_A_SAINT_EXUPERY_1943_16,R_0054_0009__CHARMING,R_0054_0001__BUT_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_0001__But_r_0054_0004__is(R_0054_0001__BUT_R_0054_0004__IS)
      & has_prd(R_0054_0001__BUT_R_0054_0004__IS,R_0054_0009__CHARMING)
      & r_0054_0009__charming(R_0054_0009__CHARMING)
      & has_nim16(R_0054_0009__CHARMING,Z_000_54_A_SAINT_EXUPERY_1943_16)
      & z_000_54_a_saint_exupery_1943_16(Z_000_54_A_SAINT_EXUPERY_1943_16)
      & has_attrib17(Z_000_54_A_SAINT_EXUPERY_1943_16,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_qual18(R_0054_0008__LESS,R_0054_0007__MUCH)
      & r_0054_0007__much(R_0054_0007__MUCH)
      & has_qual19(R_0054_0007__MUCH,R_0054_0006__VERY)
      & has_nim12(R_0054_0001__BUT_R_0054_0004__IS,R_0054_0005__CERTAINLY)
      & has_arg0(R_0054_0001__BUT_R_0054_0004__IS,R_0054_0003__DRAWING) ) ).

( (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))