( (IP-IMP (ILYR (ILYR (VB;_Tn_ Use;{use})
                      (NP-OB1 (D the;{the})
                              (IP-PPL (NP-LGS *)
                                      (VVN;_Tn_ enclosed;{enclose}))
                              (N card;{card})))
                (CONJP (CONJ and;{and})
                       (ILYR (VB;_Dn.pr_ give;{give[to]})
                             (NP-OB1 (D a;{a})
                                     (ADJP (ADJ generous;{generous}))
                                     (N gift;{gift}))
                             (PP-OB2 (P-ROLE to;{to})
                                     (NP;{GOODWILL} (NPR Goodwill;{Goodwill})))
                             (ADVP-NIM (ADV today;{today})))))
          (PUNC !))
  (ID 42_a_goodwill))

arc(r_0042_0001__Use,r_0042_0002__the_r_0042_0004__card,arg1).
arc(r_0042_0001__Use,z_0042_5002,arg0).
arc(r_0042_0003__enclosed,r_0042_0002__the_r_0042_0004__card,inv_arg1).
arc(r_0042_0003__enclosed,z_0042_5004___star_,arg0).
arc(r_0042_0005__and,r_0042_0001__Use,conj1).
arc(r_0042_0005__and,r_0042_0006__give_r_0042_0010__to,conj2).
arc(r_0042_0006__give_r_0042_0010__to,r_0042_0007__a_r_0042_0009__gift,arg1).
arc(r_0042_0006__give_r_0042_0010__to,r_0042_0011__Goodwill,arg2).
arc(r_0042_0006__give_r_0042_0010__to,r_0042_0012__today,nim).
arc(r_0042_0006__give_r_0042_0010__to,z_0042_5002,arg0).
arc(r_0042_0007__a_r_0042_0009__gift,r_0042_0008__generous,attrib).

fof(formula,axiom,
    ? [Z_0042_5004___STAR_,R_0042_0003__ENCLOSED,R_0042_0002__THE_R_0042_0004__CARD,Z_0042_5002,R_0042_0001__USE,R_0042_0008__GENEROUS,R_0042_0007__A_R_0042_0009__GIFT,R_0042_0011__GOODWILL,R_0042_0012__TODAY,R_0042_0006__GIVE_R_0042_0010__TO,R_0042_0005__AND] :
      ( r_0042_0008__generous(R_0042_0008__GENEROUS)
      & r_0042_0011__Goodwill(R_0042_0011__GOODWILL)
      & r_0042_0012__today(R_0042_0012__TODAY)
      & z_0042_5002(Z_0042_5002)
      & z_0042_5004___star_(Z_0042_5004___STAR_)
      & r_0042_0005__and(R_0042_0005__AND)
      & has_conj2(R_0042_0005__AND,R_0042_0006__GIVE_R_0042_0010__TO)
      & r_0042_0006__give_r_0042_0010__to(R_0042_0006__GIVE_R_0042_0010__TO)
      & has_arg0(R_0042_0006__GIVE_R_0042_0010__TO,Z_0042_5002)
      & has_nim(R_0042_0006__GIVE_R_0042_0010__TO,R_0042_0012__TODAY)
      & has_arg2(R_0042_0006__GIVE_R_0042_0010__TO,R_0042_0011__GOODWILL)
      & has_arg1(R_0042_0006__GIVE_R_0042_0010__TO,R_0042_0007__A_R_0042_0009__GIFT)
      & r_0042_0007__a_r_0042_0009__gift(R_0042_0007__A_R_0042_0009__GIFT)
      & has_attrib(R_0042_0007__A_R_0042_0009__GIFT,R_0042_0008__GENEROUS)
      & has_conj1(R_0042_0005__AND,R_0042_0001__USE)
      & r_0042_0001__Use(R_0042_0001__USE)
      & has_arg0(R_0042_0001__USE,Z_0042_5002)
      & has_arg1(R_0042_0001__USE,R_0042_0002__THE_R_0042_0004__CARD)
      & r_0042_0002__the_r_0042_0004__card(R_0042_0002__THE_R_0042_0004__CARD)
      & has_inv_arg1(R_0042_0002__THE_R_0042_0004__CARD,R_0042_0003__ENCLOSED)
      & r_0042_0003__enclosed(R_0042_0003__ENCLOSED)
      & has_arg0(R_0042_0003__ENCLOSED,Z_0042_5004___STAR_) ) ).