( (IP-MAT (NP-SBJ (PRO I;{I}))
          (BEP;_La_ am;{be})
          (ADVP-NIM (ADV now;{now}))
          (PUNC ...)
          (ADJP-PRD (ADVP (ADV totally;{totally}))
                    (ADJ off;{off})
                    (PP (P-ROLE of;{of})
                        (NP (N welfare;{welfare}))))
          (PUNC .))
  (ID 16_a_goodwill))

arc(r_0016_0002__am,r_0016_0001__I,arg0).
arc(r_0016_0002__am,r_0016_0003__now,nim).
arc(r_0016_0002__am,r_0016_0006__off,prd).
arc(r_0016_0006__off,r_0016_0005__totally,qual).
arc(r_0016_0006__off,r_0016_0008__welfare,r_0016_0007__of).

fof(formula,axiom,
    ? [R_0016_0001__I,R_0016_0003__NOW,R_0016_0005__TOTALLY,R_0016_0008__WELFARE,R_0016_0006__OFF,R_0016_0002__AM] :
      ( r_0016_0001__I(R_0016_0001__I)
      & r_0016_0003__now(R_0016_0003__NOW)
      & r_0016_0005__totally(R_0016_0005__TOTALLY)
      & r_0016_0008__welfare(R_0016_0008__WELFARE)
      & r_0016_0002__am(R_0016_0002__AM)
      & has_prd(R_0016_0002__AM,R_0016_0006__OFF)
      & r_0016_0006__off(R_0016_0006__OFF)
      & has_r_0016_0007__of(R_0016_0006__OFF,R_0016_0008__WELFARE)
      & has_qual(R_0016_0006__OFF,R_0016_0005__TOTALLY)
      & has_nim(R_0016_0002__AM,R_0016_0003__NOW)
      & has_arg0(R_0016_0002__AM,R_0016_0001__I) ) ).