( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBP;_Tn_ appreciate;{appreciate})
          (NP-OB1 (Q;_nphd_ everything;{everything})
                  (IP-REL (C that;{that})
                          (NP-SBJ;{GOODWILL} (NPR Goodwill;{Goodwill}))
                          (HVP;_cat_Ve_ has;{have})
                          (IP-PPL-CAT (NP-OB1 *T*)
                                      (DON;_Tn_ done;{do})
                                      (PP-NIM (P-ROLE for;{for})
                                              (NP (PRO me;{I}))))))
          (PUNC .)
          (PURQ <rdquo>)
          (META (PUNC <mdash>)
                (NP (NPR Cornell;{Cornell}))))
  (ID 32_a_goodwill))

arc(r_0032_0002__appreciate,r_0032_0001__I,arg0).
arc(r_0032_0002__appreciate,z_0032_5007,arg1).
arc(r_0032_0003__everything__quant,r_0032_0002__appreciate,scope).
arc(r_0032_0003__everything__quant,z_0032_5007,restriction).
arc(r_0032_0006__has,r_0032_0007__done,scope).
arc(r_0032_0007__done,r_0032_0001__I,r_0032_0008__for__nim).
arc(r_0032_0007__done,r_0032_0005__Goodwill,arg0).
arc(r_0032_0007__done,z_0032_5007,inv_arg1).

fof(formula,axiom,
    ! [Z_0032_5007,R_0032_0001__I,R_0032_0005__GOODWILL,R_0032_0006__HAS_R_0032_0007__DONE] :
      ( ( r_0032_0001__I(R_0032_0001__I)
        & r_0032_0005__Goodwill(R_0032_0005__GOODWILL)
        & z_0032_5007(Z_0032_5007)
        & has_inv_arg1(Z_0032_5007,R_0032_0006__HAS_R_0032_0007__DONE)
        & r_0032_0006__has_r_0032_0007__done(R_0032_0006__HAS_R_0032_0007__DONE)
        & has_arg0(R_0032_0006__HAS_R_0032_0007__DONE,R_0032_0005__GOODWILL)
        & has_r_0032_0008__for__nim(R_0032_0006__HAS_R_0032_0007__DONE,R_0032_0001__I) )
     => ? [R_0032_0002__APPRECIATE] :
          ( r_0032_0002__appreciate(R_0032_0002__APPRECIATE)
          & has_arg1(R_0032_0002__APPRECIATE,Z_0032_5007)
          & has_arg0(R_0032_0002__APPRECIATE,R_0032_0001__I) ) ) ).