( (IP-MAT (ADVP-NIM (ADV Now;{now}))
          (NP-SBJ (PRO I;{I}))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (ILYR (ILYR (VB;_Tn_ buy;{buy})
                                  (NP-OB1 (D a;{a})
                                          (N soda;{soda})))
                            (CONJP (CONJ and;{and})
                                   (ILYR (VB;_Tn_ spend;{spend})
                                         (NP-OB1 (N money;{money}))))))
          (PUNC .))
  (ID 7_a_goodwill))

arc(r_0007_0003__can,r_0007_0001__Now,nim).
arc(r_0007_0003__can,r_0007_0007__and,scope).
arc(r_0007_0004__buy,r_0007_0002__I,arg0).
arc(r_0007_0004__buy,r_0007_0005__a_r_0007_0006__soda,arg1).
arc(r_0007_0007__and,r_0007_0004__buy,conj1).
arc(r_0007_0007__and,r_0007_0008__spend,conj2).
arc(r_0007_0008__spend,r_0007_0002__I,arg0).
arc(r_0007_0008__spend,r_0007_0009__money,arg1).

fof(formula,axiom,
    ? [R_0007_0001__NOW,R_0007_0002__I,R_0007_0005__A_R_0007_0006__SODA,R_0007_0004__BUY,R_0007_0009__MONEY,R_0007_0008__SPEND,R_0007_0007__AND,R_0007_0003__CAN] :
      ( r_0007_0001__Now(R_0007_0001__NOW)
      & r_0007_0002__I(R_0007_0002__I)
      & r_0007_0005__a_r_0007_0006__soda(R_0007_0005__A_R_0007_0006__SODA)
      & r_0007_0009__money(R_0007_0009__MONEY)
      & r_0007_0003__can(R_0007_0003__CAN)
      & has_keep_scope(R_0007_0003__CAN,R_0007_0007__AND)
      & r_0007_0007__and(R_0007_0007__AND)
      & has_conj2(R_0007_0007__AND,R_0007_0008__SPEND)
      & r_0007_0008__spend(R_0007_0008__SPEND)
      & has_arg1(R_0007_0008__SPEND,R_0007_0009__MONEY)
      & has_arg0(R_0007_0008__SPEND,R_0007_0002__I)
      & has_conj1(R_0007_0007__AND,R_0007_0004__BUY)
      & r_0007_0004__buy(R_0007_0004__BUY)
      & has_arg1(R_0007_0004__BUY,R_0007_0005__A_R_0007_0006__SODA)
      & has_arg0(R_0007_0004__BUY,R_0007_0002__I)
      & has_nim(R_0007_0003__CAN,R_0007_0001__NOW) ) ).