( (IP-MAT (NP-SBJ (PRO I;{I}))
          (HVP;_Tn_ have;{have})
          (NP-OB1 (D a;{a})
                  (NS savings;{saving})
                  (N account;{account}))
          (PUNC .))
  (ID 9_a_goodwill))

arc(r_0009_0002__have,r_0009_0001__I,arg0).
arc(r_0009_0002__have,r_0009_0003__a_r_0009_0004__savings_r_0009_0005__account,arg1).

fof(formula,axiom,
    ? [R_0009_0001__I,R_0009_0003__A_R_0009_0004__SAVINGS_R_0009_0005__ACCOUNT,R_0009_0002__HAVE] :
      ( r_0009_0001__I(R_0009_0001__I)
      & r_0009_0003__a_r_0009_0004__savings_r_0009_0005__account(R_0009_0003__A_R_0009_0004__SAVINGS_R_0009_0005__ACCOUNT)
      & r_0009_0002__have(R_0009_0002__HAVE)
      & has_arg1(R_0009_0002__HAVE,R_0009_0003__A_R_0009_0004__SAVINGS_R_0009_0005__ACCOUNT)
      & has_arg0(R_0009_0002__HAVE,R_0009_0001__I) ) ).