arc(r_0030_0001__And_r_0030_0003__has, r_0030_0006__improved, scope).
arc(r_0030_0004__n_apos_t, r_0030_0001__And_r_0030_0003__has, keep_scope).
arc(r_0030_0006__improved, r_0030_0002__that, arg0).
arc(r_0030_0006__improved, r_0030_0008__opinion, arg1).
arc(r_0030_0006__improved, z_000_30_a_saint_exupery_1943_12, nim12).
arc(r_0030_0008__opinion, r_0030_0007__my, gen).
arc(r_0030_0008__opinion, r_0030_0010__them, r_0030_0009__of).
arc(z_000_30_a_saint_exupery_1943_12, r_0030_0005__much, attrib13).

fof(formula,axiom,
    ~ ? [R_0030_0002__THAT,R_0030_0007__MY,R_0030_0010__THEM,R_0030_0008__OPINION,R_0030_0005__MUCH,Z_000_30_A_SAINT_EXUPERY_1943_12,R_0030_0001__AND_R_0030_0003__HAS_R_0030_0006__IMPROVED] :
        ( r_0030_0002__that(R_0030_0002__THAT)
        & r_0030_0005__much(R_0030_0005__MUCH)
        & r_0030_0007__my(R_0030_0007__MY)
        & r_0030_0010__them(R_0030_0010__THEM)
        & r_0030_0001__And_r_0030_0003__has_r_0030_0006__improved(R_0030_0001__AND_R_0030_0003__HAS_R_0030_0006__IMPROVED)
        & has_nim12(R_0030_0001__AND_R_0030_0003__HAS_R_0030_0006__IMPROVED,Z_000_30_A_SAINT_EXUPERY_1943_12)
        & z_000_30_a_saint_exupery_1943_12(Z_000_30_A_SAINT_EXUPERY_1943_12)
        & has_attrib13(Z_000_30_A_SAINT_EXUPERY_1943_12,R_0030_0005__MUCH)
        & has_arg1(R_0030_0001__AND_R_0030_0003__HAS_R_0030_0006__IMPROVED,R_0030_0008__OPINION)
        & r_0030_0008__opinion(R_0030_0008__OPINION)
        & has_r_0030_0009__of(R_0030_0008__OPINION,R_0030_0010__THEM)
        & has_gen(R_0030_0008__OPINION,R_0030_0007__MY)
        & has_arg0(R_0030_0001__AND_R_0030_0003__HAS_R_0030_0006__IMPROVED,R_0030_0002__THAT) ) ).

( (IP-MAT (CONJ;_cl_ And;{and})
          (NP-SBJ (D;_nphd_ that;{that}))
          (HVP;_cat_Ve_ has;{have})
          (NEG;_clitic_ n<apos>t;{not})
          (IP-PPL-CAT (NP-NIM (ADJP (ADJ much;{much})))
                      (VVN;__ improved;{improve})
                      (NP-OB1 (NP-GEN (PRO;_genm_ my;{my}))
                              (N opinion;{opinion})
                              (PP (P-ROLE of;{of})
                                  (NP;{PERSONS} (PRO them;{they})))))
          (PUNC .))
  (ID 30_a_saint_exupery_1943))