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

arc(r_0030_0003__has,r_0030_0006__improved,scope).
arc(r_0030_0004__n_apos_t,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_0030_5005,nim).
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_0030_5005,r_0030_0005__much,attrib).

fof(formula,axiom,
    ~ ? [R_0030_0002__THAT,R_0030_0007__MY,R_0030_0010__THEM,R_0030_0008__OPINION,R_0030_0005__MUCH,Z_0030_5005,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_0003__has_r_0030_0006__improved(R_0030_0003__HAS_R_0030_0006__IMPROVED)
        & has_nim(R_0030_0003__HAS_R_0030_0006__IMPROVED,Z_0030_5005)
        & z_0030_5005(Z_0030_5005)
        & has_attrib(Z_0030_5005,R_0030_0005__MUCH)
        & has_arg1(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_0003__HAS_R_0030_0006__IMPROVED,R_0030_0002__THAT) ) ).