( (IP-MAT (NP-SBJ (NP-GEN (PRO;_genm_ Your;{your}))
                  (N contribution;{contribution})
                  (PP (P-ROLE to;{to})
                      (NP;{GOODWILL} (NPR Goodwill;{Goodwill}))))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (VB;_Tn_ mean;{mean})
                      (NP-OB1 (ADJP (ADJR more;{more})
                                    (PP (P-ROLE than;{than})
                                        (NP (IP-REL (NP-SBJ (PRO you;{you}))
                                                    (MD;_cat_Vi_ may;{may})
                                                    (IP-INF-CAT (NP-OB1 *T*)
                                                                (VB;_Tn_ know;{know}))))))))
          (PUNC .))
  (ID 2_a_goodwill))

arc(r_0002_0002__contribution,r_0002_0001__Your,gen).
arc(r_0002_0002__contribution,r_0002_0004__Goodwill,r_0002_0003__to).
arc(r_0002_0005__will,r_0002_0006__mean,scope).
arc(r_0002_0006__mean,r_0002_0002__contribution,arg0).
arc(r_0002_0006__mean,z_0002_5011,arg1).
arc(r_0002_0007__more,z_0002_5010,r_0002_0008__than).
arc(r_0002_0010__may,r_0002_0011__know,scope).
arc(r_0002_0011__know,r_0002_0001__Your,arg0).
arc(r_0002_0011__know,z_0002_5010,inv_arg1).
arc(z_0002_5011,r_0002_0007__more,attrib).

fof(formula,axiom,
    ? [R_0002_0001__YOUR,R_0002_0004__GOODWILL,R_0002_0002__CONTRIBUTION,R_0002_0010__MAY_R_0002_0011__KNOW,Z_0002_5010,R_0002_0007__MORE,Z_0002_5011,R_0002_0005__WILL_R_0002_0006__MEAN] :
      ( r_0002_0001__Your(R_0002_0001__YOUR)
      & r_0002_0004__Goodwill(R_0002_0004__GOODWILL)
      & r_0002_0005__will_r_0002_0006__mean(R_0002_0005__WILL_R_0002_0006__MEAN)
      & has_arg1(R_0002_0005__WILL_R_0002_0006__MEAN,Z_0002_5011)
      & z_0002_5011(Z_0002_5011)
      & has_attrib(Z_0002_5011,R_0002_0007__MORE)
      & r_0002_0007__more(R_0002_0007__MORE)
      & has_r_0002_0008__than(R_0002_0007__MORE,Z_0002_5010)
      & z_0002_5010(Z_0002_5010)
      & has_inv_arg1(Z_0002_5010,R_0002_0010__MAY_R_0002_0011__KNOW)
      & r_0002_0010__may_r_0002_0011__know(R_0002_0010__MAY_R_0002_0011__KNOW)
      & has_arg0(R_0002_0010__MAY_R_0002_0011__KNOW,R_0002_0001__YOUR)
      & has_arg0(R_0002_0005__WILL_R_0002_0006__MEAN,R_0002_0002__CONTRIBUTION)
      & r_0002_0002__contribution(R_0002_0002__CONTRIBUTION)
      & has_r_0002_0003__to(R_0002_0002__CONTRIBUTION,R_0002_0004__GOODWILL)
      & has_gen(R_0002_0002__CONTRIBUTION,R_0002_0001__YOUR) ) ).