arc(r_0024_0002__had, r_0024_0001__I, arg0).
arc(r_0024_0002__had, r_0024_0005__chance, arg1).
arc(r_0024_0005__chance, r_0024_0001__I, gen).
arc(r_0024_0005__chance, r_0024_0004__second, attrib11).
arc(r_0024_0005__chance, r_0024_0006__to_r_0024_0007__change, emb16).
arc(r_0024_0006__to_r_0024_0007__change, r_0024_0009__life, arg1).
arc(r_0024_0006__to_r_0024_0007__change, z_000_24_a_goodwill_16, arg0).
arc(r_0024_0009__life, r_0024_0001__I, gen).

fof(formula,axiom,
    ? [R_0024_0001__I,R_0024_0004__SECOND,R_0024_0009__LIFE,Z_000_24_A_GOODWILL_16,R_0024_0006__TO_R_0024_0007__CHANGE,R_0024_0005__CHANCE,R_0024_0002__HAD] :
      ( r_0024_0001__I(R_0024_0001__I)
      & r_0024_0004__second(R_0024_0004__SECOND)
      & z_000_24_a_goodwill_16(Z_000_24_A_GOODWILL_16)
      & r_0024_0002__had(R_0024_0002__HAD)
      & has_arg1(R_0024_0002__HAD,R_0024_0005__CHANCE)
      & r_0024_0005__chance(R_0024_0005__CHANCE)
      & has_emb16(R_0024_0005__CHANCE,R_0024_0006__TO_R_0024_0007__CHANGE)
      & r_0024_0006__to_r_0024_0007__change(R_0024_0006__TO_R_0024_0007__CHANGE)
      & has_arg0(R_0024_0006__TO_R_0024_0007__CHANGE,Z_000_24_A_GOODWILL_16)
      & has_arg1(R_0024_0006__TO_R_0024_0007__CHANGE,R_0024_0009__LIFE)
      & r_0024_0009__life(R_0024_0009__LIFE)
      & has_gen(R_0024_0009__LIFE,R_0024_0001__I)
      & has_attrib11(R_0024_0005__CHANCE,R_0024_0004__SECOND)
      & has_gen(R_0024_0005__CHANCE,R_0024_0001__I)
      & has_arg0(R_0024_0002__HAD,R_0024_0001__I) ) ).

( (IP-MAT (NP-SBJ (PRO I;{I}))
          (HVD;_Tn_ had;{have})
          (NP-OB1 (NP-GEN (PRO;_genm_ my;{my}))
                  (ADJP (ADJ second;{second}))
                  (N chance;{chance})
                  (IP-INF (TO to;{to})
                          (VB;_Tn_ change;{change})
                          (NP-OB1 (NP-GEN (PRO;_genm_ my;{my}))
                                  (N life;{life}))))
          (PUNC .)
          (PURQ <rdquo>)
          (META (PUNC <mdash>)
                (NP (NPR Donna;{Donna}))))
  (ID 24_a_goodwill))