arc(r_0025_0001__Because, r_0025_0007__will, restriction).
arc(r_0025_0001__Because, z_000_25_a_goodwill_1, scope).
arc(r_0025_0002__teaching, r_0025_0003__a_r_0025_0004__man, arg2).
arc(r_0025_0002__teaching, r_0025_0005__to_r_0025_0006__fish, arg1).
arc(r_0025_0002__teaching, z_000_25_a_goodwill_6, arg0).
arc(r_0025_0005__to_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_nim35).
arc(r_0025_0010__fed, x_000_25_a_goodwill_27, arg1).
arc(r_0025_0010__fed, z_000_25_a_goodwill_28, arg0).
arc(r_0025_0014__life, r_0025_0003__a_r_0025_0004__man, gen).
arc(r_0025_0014__life, r_0025_0013__entire, attrib39).

fof(formula,axiom,
    ? [R_0025_0003__A_R_0025_0004__MAN,R_0025_0005__TO_R_0025_0006__FISH,Z_000_25_A_GOODWILL_6,R_0025_0002__TEACHING,R_0025_0013__ENTIRE,R_0025_0014__LIFE,X_000_25_A_GOODWILL_27,Z_000_25_A_GOODWILL_28,R_0025_0010__FED,R_0025_0007__WILL_R_0025_0008__KEEP,Z_000_25_A_GOODWILL_1,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)
      & x_000_25_a_goodwill_27(X_000_25_A_GOODWILL_27)
      & z_000_25_a_goodwill_1(Z_000_25_A_GOODWILL_1)
      & z_000_25_a_goodwill_28(Z_000_25_A_GOODWILL_28)
      & z_000_25_a_goodwill_6(Z_000_25_A_GOODWILL_6)
      & r_0025_0001__Because(R_0025_0001__BECAUSE)
      & has_conj2(R_0025_0001__BECAUSE,Z_000_25_A_GOODWILL_1)
      & 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_000_25_A_GOODWILL_28)
      & has_arg1(R_0025_0010__FED,X_000_25_A_GOODWILL_27)
      & has_r_0025_0011__for_nim35(R_0025_0010__FED,R_0025_0014__LIFE)
      & r_0025_0014__life(R_0025_0014__LIFE)
      & has_attrib39(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_000_25_A_GOODWILL_6)
      & has_arg1(R_0025_0002__TEACHING,R_0025_0005__TO_R_0025_0006__FISH)
      & r_0025_0005__to_r_0025_0006__fish(R_0025_0005__TO_R_0025_0006__FISH)
      & has_arg0(R_0025_0005__TO_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) ) ).

( (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))