( (IP-MAT (NP-SBJ;{PRINCE} (NP-GEN (PRO;_genm_ My;{my}))
                           (N friend;{friend}))
          (VBD;__ smiled;{smile})
          (ADVP-NIM (AVLYR (AVLYR (ADV gently;{gently}))
                           (CONJP (CONJ and;{and})
                                  (AVLYR (ADV indulgently;{indulgently})))))
          (PUNC .))
  (ID 79_a_saint_exupery_1943))

arc(r_0079_0002__friend,r_0079_0001__My,gen).
arc(r_0079_0003__smiled,r_0079_0002__friend,arg0).
arc(r_0079_0003__smiled,r_0079_0005__and,nim).
arc(r_0079_0005__and,r_0079_0004__gently,conj1).
arc(r_0079_0005__and,r_0079_0006__indulgently,conj2).

fof(formula,axiom,
    ? [R_0079_0001__MY,R_0079_0002__FRIEND,R_0079_0004__GENTLY,R_0079_0006__INDULGENTLY,R_0079_0005__AND,R_0079_0003__SMILED] :
      ( r_0079_0001__My(R_0079_0001__MY)
      & r_0079_0004__gently(R_0079_0004__GENTLY)
      & r_0079_0006__indulgently(R_0079_0006__INDULGENTLY)
      & r_0079_0003__smiled(R_0079_0003__SMILED)
      & has_nim(R_0079_0003__SMILED,R_0079_0005__AND)
      & r_0079_0005__and(R_0079_0005__AND)
      & has_conj2(R_0079_0005__AND,R_0079_0006__INDULGENTLY)
      & has_conj1(R_0079_0005__AND,R_0079_0004__GENTLY)
      & has_arg0(R_0079_0003__SMILED,R_0079_0002__FRIEND)
      & r_0079_0002__friend(R_0079_0002__FRIEND)
      & has_gen(R_0079_0002__FRIEND,R_0079_0001__MY) ) ).