( (FRAG (PP-SCON (P-CONN Because;{because})
                 (IP-ADV (IP-PPL-SBJ (VAG;_Dn.t_ teaching;{teach})
                                     (NP-OB2;{PERSON} (D a;{a})
                                                      (N man;{man}))
                                     (IP-INF-OB1 (TO to;{to})
                                                 (VB;_I_ fish;{fish})))
                         (MD;_cat_Vi_ will;{will})
                         (IP-INF-CAT (VB;_VP24A_ keep;{keep})
                                     (NP-OB1;{PERSON} (PRO him;{he}))
                                     (IP-PPL-PRD (NP-LGS *)
                                                 (VVN;_Tn_ fed;{feed})
                                                 (PP-NIM (P-ROLE for;{for})
                                                         (NP (NP-GEN;{PERSON} (PRO;_genm_ his;{his}))
                                                             (ADJP (ADJ entire;{entire}))
                                                             (N life;{life})))))))
        (PUNC .))
  (ID 25_a_goodwill))

arc(r_0025_0001__Because,r_0025_0007__will,restriction).
arc(r_0025_0001__Because,z_0025_5021,scope).
arc(r_0025_0002__teaching,r_0025_0003__a_r_0025_0004__man,arg2).
arc(r_0025_0002__teaching,r_0025_0006__fish,arg1).
arc(r_0025_0002__teaching,z_0025_5004,arg0).
arc(r_0025_0006__fish,r_0025_0003__a_r_0025_0004__man,arg0).
arc(r_0025_0007__will,r_0025_0008__keep,scope).
arc(r_0025_0008__keep,r_0025_0002__teaching,arg0).
arc(r_0025_0008__keep,r_0025_0003__a_r_0025_0004__man,arg1).
arc(r_0025_0008__keep,r_0025_0010__fed,prd).
arc(r_0025_0010__fed,r_0025_0014__life,r_0025_0011__for__nim).
arc(r_0025_0010__fed,z_0025_5013,arg1).
arc(r_0025_0010__fed,z_0025_5017___star_,arg0).
arc(r_0025_0014__life,r_0025_0003__a_r_0025_0004__man,gen).
arc(r_0025_0014__life,r_0025_0013__entire,attrib).

fof(formula,axiom,
    ? [R_0025_0003__A_R_0025_0004__MAN,R_0025_0006__FISH,Z_0025_5004,R_0025_0002__TEACHING,R_0025_0013__ENTIRE,R_0025_0014__LIFE,Z_0025_5013,Z_0025_5017___STAR_,R_0025_0010__FED,R_0025_0007__WILL_R_0025_0008__KEEP,Z_0025_5021,R_0025_0001__BECAUSE] :
      ( r_0025_0003__a_r_0025_0004__man(R_0025_0003__A_R_0025_0004__MAN)
      & r_0025_0013__entire(R_0025_0013__ENTIRE)
      & z_0025_5004(Z_0025_5004)
      & z_0025_5013(Z_0025_5013)
      & z_0025_5017___star_(Z_0025_5017___STAR_)
      & z_0025_5021(Z_0025_5021)
      & r_0025_0001__Because(R_0025_0001__BECAUSE)
      & has_conj2(R_0025_0001__BECAUSE,Z_0025_5021)
      & has_conj1(R_0025_0001__BECAUSE,R_0025_0007__WILL_R_0025_0008__KEEP)
      & r_0025_0007__will_r_0025_0008__keep(R_0025_0007__WILL_R_0025_0008__KEEP)
      & has_prd(R_0025_0007__WILL_R_0025_0008__KEEP,R_0025_0010__FED)
      & r_0025_0010__fed(R_0025_0010__FED)
      & has_arg0(R_0025_0010__FED,Z_0025_5017___STAR_)
      & has_arg1(R_0025_0010__FED,Z_0025_5013)
      & has_r_0025_0011__for__nim(R_0025_0010__FED,R_0025_0014__LIFE)
      & r_0025_0014__life(R_0025_0014__LIFE)
      & has_attrib(R_0025_0014__LIFE,R_0025_0013__ENTIRE)
      & has_gen(R_0025_0014__LIFE,R_0025_0003__A_R_0025_0004__MAN)
      & has_arg1(R_0025_0007__WILL_R_0025_0008__KEEP,R_0025_0003__A_R_0025_0004__MAN)
      & has_arg0(R_0025_0007__WILL_R_0025_0008__KEEP,R_0025_0002__TEACHING)
      & r_0025_0002__teaching(R_0025_0002__TEACHING)
      & has_arg0(R_0025_0002__TEACHING,Z_0025_5004)
      & has_arg1(R_0025_0002__TEACHING,R_0025_0006__FISH)
      & r_0025_0006__fish(R_0025_0006__FISH)
      & has_arg0(R_0025_0006__FISH,R_0025_0003__A_R_0025_0004__MAN)
      & has_arg2(R_0025_0002__TEACHING,R_0025_0003__A_R_0025_0004__MAN) ) ).