arc(r_0038_0002__gift, r_0038_0001__Your, gen).
arc(r_0038_0002__gift, r_0038_0004__Goodwill, r_0038_0003__to).
arc(r_0038_0005__will, r_0038_0006__be, scope).
arc(r_0038_0006__be, r_0038_0007__used, scope).
arc(r_0038_0007__used, r_0038_0002__gift, arg1).
arc(r_0038_0007__used, r_0038_0008__directly, nim24).
arc(r_0038_0007__used, z_000_38_a_goodwill_20, arg0).
arc(r_0038_0009__to_r_0038_0010__support, r_0038_0002__gift, arg0).
arc(r_0038_0009__to_r_0038_0010__support, r_0038_0011__services, arg1).
arc(r_0038_0012__that_r_0038_0013__will, r_0038_0014__help, scope).
arc(r_0038_0014__help, r_0038_0011__services, arg0).
arc(r_0038_0014__help, r_0038_0017__find, prd).
arc(r_0038_0014__help, z_000_38_a_goodwill_46, arg1).
arc(r_0038_0016__more, r_0038_0015__even, qual48).
arc(r_0038_0017__find, r_0038_0018__jobs, arg1).
arc(r_0038_0017__find, x_000_38_a_goodwill_53, arg0).
arc(z_000_38_a_goodwill_27, r_0038_0005__will, scope).
arc(z_000_38_a_goodwill_27, r_0038_0009__to_r_0038_0010__support, restriction).
arc(z_000_38_a_goodwill_46, r_0038_0016__more, attrib47).

fof(formula,axiom,
    ? [R_0038_0011__SERVICES,R_0038_0018__JOBS,X_000_38_A_GOODWILL_53,R_0038_0017__FIND,R_0038_0015__EVEN,R_0038_0016__MORE,Z_000_38_A_GOODWILL_46,R_0038_0012__THAT_R_0038_0013__WILL_R_0038_0014__HELP,R_0038_0001__YOUR,R_0038_0004__GOODWILL,R_0038_0002__GIFT,R_0038_0008__DIRECTLY,Z_000_38_A_GOODWILL_20,R_0038_0005__WILL_R_0038_0006__BE_R_0038_0007__USED,R_0038_0009__TO_R_0038_0010__SUPPORT,Z_000_38_A_GOODWILL_27] :
      ( r_0038_0001__Your(R_0038_0001__YOUR)
      & r_0038_0004__Goodwill(R_0038_0004__GOODWILL)
      & r_0038_0008__directly(R_0038_0008__DIRECTLY)
      & r_0038_0011__services(R_0038_0011__SERVICES)
      & r_0038_0015__even(R_0038_0015__EVEN)
      & r_0038_0018__jobs(R_0038_0018__JOBS)
      & x_000_38_a_goodwill_53(X_000_38_A_GOODWILL_53)
      & z_000_38_a_goodwill_20(Z_000_38_A_GOODWILL_20)
      & z_000_38_a_goodwill_27(Z_000_38_A_GOODWILL_27)
      & has_conj1(Z_000_38_A_GOODWILL_27,R_0038_0009__TO_R_0038_0010__SUPPORT)
      & r_0038_0009__to_r_0038_0010__support(R_0038_0009__TO_R_0038_0010__SUPPORT)
      & has_arg1(R_0038_0009__TO_R_0038_0010__SUPPORT,R_0038_0011__SERVICES)
      & has_arg0(R_0038_0009__TO_R_0038_0010__SUPPORT,R_0038_0002__GIFT)
      & r_0038_0002__gift(R_0038_0002__GIFT)
      & has_r_0038_0003__to(R_0038_0002__GIFT,R_0038_0004__GOODWILL)
      & has_gen(R_0038_0002__GIFT,R_0038_0001__YOUR)
      & has_conj2(Z_000_38_A_GOODWILL_27,R_0038_0005__WILL_R_0038_0006__BE_R_0038_0007__USED)
      & r_0038_0005__will_r_0038_0006__be_r_0038_0007__used(R_0038_0005__WILL_R_0038_0006__BE_R_0038_0007__USED)
      & has_arg0(R_0038_0005__WILL_R_0038_0006__BE_R_0038_0007__USED,Z_000_38_A_GOODWILL_20)
      & has_nim24(R_0038_0005__WILL_R_0038_0006__BE_R_0038_0007__USED,R_0038_0008__DIRECTLY)
      & has_arg1(R_0038_0005__WILL_R_0038_0006__BE_R_0038_0007__USED,R_0038_0002__GIFT)
      & r_0038_0012__that_r_0038_0013__will_r_0038_0014__help(R_0038_0012__THAT_R_0038_0013__WILL_R_0038_0014__HELP)
      & has_arg1(R_0038_0012__THAT_R_0038_0013__WILL_R_0038_0014__HELP,Z_000_38_A_GOODWILL_46)
      & z_000_38_a_goodwill_46(Z_000_38_A_GOODWILL_46)
      & has_attrib47(Z_000_38_A_GOODWILL_46,R_0038_0016__MORE)
      & r_0038_0016__more(R_0038_0016__MORE)
      & has_qual48(R_0038_0016__MORE,R_0038_0015__EVEN)
      & has_prd(R_0038_0012__THAT_R_0038_0013__WILL_R_0038_0014__HELP,R_0038_0017__FIND)
      & r_0038_0017__find(R_0038_0017__FIND)
      & has_arg0(R_0038_0017__FIND,X_000_38_A_GOODWILL_53)
      & has_arg1(R_0038_0017__FIND,R_0038_0018__JOBS)
      & has_arg0(R_0038_0012__THAT_R_0038_0013__WILL_R_0038_0014__HELP,R_0038_0011__SERVICES) ) ).

( (IP-MAT (NP-SBJ (NP-GEN (PRO;_genm_ Your;{your}))
                  (N gift;{gift})
                  (PP (P-ROLE to;{to})
                      (NP;{GOODWILL} (NPR Goodwill;{Goodwill}))))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn_ used;{use})
                                  (ADVP-NIM (ADV directly;{directly}))))
          (PP-SCON (IP-INF (TO to;{to})
                           (VB;_Tn_ support;{support})
                           (NP-OB1 (NS services;{service})
                                   (IP-REL (C that;{that})
                                           (NP-SBJ *T*)
                                           (MD;_cat_Vi_ will;{will})
                                           (IP-INF-CAT (VB;_Cn.i_ help;{help})
                                                       (NP-OB1 (ADJP (ADVP (ADV even;{even}))
                                                                     (ADJR more;{more})))
                                                       (IP-INF-PRD (VB;_Tn_ find;{find})
                                                                   (NP-OB1 (NS jobs;{job}))))))))
          (PUNC .))
  (ID 38_a_goodwill))