( (IP-MAT (NP-SBJ (PRO I;{I}))
          (BED;_Ipr_ was;{be[on]})
          (PP-CLR (PP-CLR (P-ROLE on;{on})
                          (NP (N welfare;{welfare})))
                  (CONJP (CONJ and;{and})
                         (PP-CLR (P-ROLE without;{without})
                                 (NP (NP-GEN (PRO;_genm_ my;{my}))
                                     (N diploma;{diploma})))))
          (PUNC .))
  (ID 14_a_goodwill))

arc(r_0014_0002__was,r_0014_0001__I,arg0).
arc(r_0014_0002__was,r_0014_0005__and,clr).
arc(r_0014_0005__and,r_0014_0004__welfare,r_0014_0003__on__clr).
arc(r_0014_0005__and,r_0014_0008__diploma,r_0014_0006__without__clr).
arc(r_0014_0008__diploma,r_0014_0001__I,gen).

fof(formula,axiom,
    ? [R_0014_0001__I,R_0014_0004__WELFARE,R_0014_0008__DIPLOMA,R_0014_0005__AND,R_0014_0002__WAS] :
      ( r_0014_0001__I(R_0014_0001__I)
      & r_0014_0004__welfare(R_0014_0004__WELFARE)
      & r_0014_0002__was(R_0014_0002__WAS)
      & has_clr(R_0014_0002__WAS,R_0014_0005__AND)
      & r_0014_0005__and(R_0014_0005__AND)
      & has_r_0014_0006__without__clr(R_0014_0005__AND,R_0014_0008__DIPLOMA)
      & r_0014_0008__diploma(R_0014_0008__DIPLOMA)
      & has_gen(R_0014_0008__DIPLOMA,R_0014_0001__I)
      & has_r_0014_0003__on__clr(R_0014_0005__AND,R_0014_0004__WELFARE)
      & has_arg0(R_0014_0002__WAS,R_0014_0001__I) ) ).