( (IP-MAT (CONJ;_cl_ But;{but})
          (NP-SBJ;{ARTWORK} (PRO it;{it}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;__ rejected;{reject})
                      (ADVP-NIM (ADV too;{too}))
                      (PUNC ,)
                      (PP-PRD (ADVP-NIM (ADV just;{just}))
                              (P-ROLE like;{like})
                              (NP (D the;{the})
                                  (NS others;{other}))))
          (PUNC .))
  (ID 84_a_saint_exupery_1943))

arc(r_0084_0003__was,r_0084_0004__rejected,scope).
arc(r_0084_0004__rejected,r_0084_0002__it,arg1).
arc(r_0084_0004__rejected,r_0084_0005__too,nim).
arc(r_0084_0004__rejected,r_0084_0009__the_r_0084_0010__others,r_0084_0007__just_r_0084_0008__like__prd).
arc(r_0084_0004__rejected,z_0084_5004___star_,arg0).

fof(formula,axiom,
    ? [R_0084_0002__IT,R_0084_0005__TOO,R_0084_0009__THE_R_0084_0010__OTHERS,Z_0084_5004___STAR_,R_0084_0003__WAS_R_0084_0004__REJECTED] :
      ( r_0084_0002__it(R_0084_0002__IT)
      & r_0084_0005__too(R_0084_0005__TOO)
      & r_0084_0009__the_r_0084_0010__others(R_0084_0009__THE_R_0084_0010__OTHERS)
      & z_0084_5004___star_(Z_0084_5004___STAR_)
      & r_0084_0003__was_r_0084_0004__rejected(R_0084_0003__WAS_R_0084_0004__REJECTED)
      & has_arg0(R_0084_0003__WAS_R_0084_0004__REJECTED,Z_0084_5004___STAR_)
      & has_r_0084_0007__just_r_0084_0008__like__prd(R_0084_0003__WAS_R_0084_0004__REJECTED,R_0084_0009__THE_R_0084_0010__OTHERS)
      & has_nim(R_0084_0003__WAS_R_0084_0004__REJECTED,R_0084_0005__TOO)
      & has_arg1(R_0084_0003__WAS_R_0084_0004__REJECTED,R_0084_0002__IT) ) ).