( (IP-MAT (NP-SBJ (PRO I;{I}))
          (HVP;_cat_Ve_ have;{have})
          (IP-PPL-CAT (VVN;__ lived;{live})
                      (NP-NIM (D a;{a})
                              (ADJP (ADJ great;{great}))
                              (N deal;{deal}))
                      (PP-NIM (P-ROLE among;{among})
                              (NP;{PERSONS} (NS grown_<hyphen>_ups;{grown_ups}))))
          (PUNC .))
  (ID 28_a_saint_exupery_1943))

arc(r_0028_0002__have,r_0028_0003__lived,scope).
arc(r_0028_0003__lived,r_0028_0001__I,arg0).
arc(r_0028_0003__lived,r_0028_0004__a_r_0028_0006__deal,nim).
arc(r_0028_0003__lived,r_0028_0008__grown__hyphen__ups,r_0028_0007__among__nim).
arc(r_0028_0004__a_r_0028_0006__deal,r_0028_0005__great,attrib).

fof(formula,axiom,
    ? [R_0028_0001__I,R_0028_0005__GREAT,R_0028_0004__A_R_0028_0006__DEAL,R_0028_0008__GROWN__HYPHEN__UPS,R_0028_0002__HAVE_R_0028_0003__LIVED] :
      ( r_0028_0001__I(R_0028_0001__I)
      & r_0028_0005__great(R_0028_0005__GREAT)
      & r_0028_0008__grown__hyphen__ups(R_0028_0008__GROWN__HYPHEN__UPS)
      & r_0028_0002__have_r_0028_0003__lived(R_0028_0002__HAVE_R_0028_0003__LIVED)
      & has_r_0028_0007__among__nim(R_0028_0002__HAVE_R_0028_0003__LIVED,R_0028_0008__GROWN__HYPHEN__UPS)
      & has_nim(R_0028_0002__HAVE_R_0028_0003__LIVED,R_0028_0004__A_R_0028_0006__DEAL)
      & r_0028_0004__a_r_0028_0006__deal(R_0028_0004__A_R_0028_0006__DEAL)
      & has_attrib(R_0028_0004__A_R_0028_0006__DEAL,R_0028_0005__GREAT)
      & has_arg0(R_0028_0002__HAVE_R_0028_0003__LIVED,R_0028_0001__I) ) ).