( (FRAG (NP (NP-GEN;{PERSONS} (PRO;_genm_ Their;{their}))
            (NUM one;{one})
            (ADJP (ADJ common;{common}))
            (N goal;{goal})
            (PUNC :)
            (PRN (IP-MAT (NP-SBJ;{PERSONS} (PRO they;{they}))
                         (ADVP-NIM (ADV all;{all}))
                         (VBP;_Tt_ want;{want})
                         (IP-INF-OB1 (TO to;{to})
                                     (VB;_I_ work;{work})))))
        (PUNC .))
  (ID 34_a_goodwill))

arc(r_0034_0002__one_r_0034_0004__goal,r_0034_0001__Their,gen).
arc(r_0034_0002__one_r_0034_0004__goal,r_0034_0003__common,attrib).
arc(r_0034_0002__one_r_0034_0004__goal,r_0034_0008__want,prn).
arc(r_0034_0008__want,r_0034_0001__Their,arg0).
arc(r_0034_0008__want,r_0034_0007__all,nim).
arc(r_0034_0008__want,r_0034_0010__work,arg1).
arc(r_0034_0010__work,r_0034_0001__Their,arg0).
arc(z_0034_5011,r_0034_0002__one_r_0034_0004__goal,z_0034_5002).

fof(formula,axiom,
    ? [R_0034_0001__THEIR,R_0034_0003__COMMON,R_0034_0007__ALL,R_0034_0010__WORK,R_0034_0008__WANT,R_0034_0002__ONE_R_0034_0004__GOAL,Z_0034_5011] :
      ( r_0034_0001__Their(R_0034_0001__THEIR)
      & r_0034_0003__common(R_0034_0003__COMMON)
      & r_0034_0007__all(R_0034_0007__ALL)
      & z_0034_5011(Z_0034_5011)
      & has_z_0034_5002(Z_0034_5011,R_0034_0002__ONE_R_0034_0004__GOAL)
      & r_0034_0002__one_r_0034_0004__goal(R_0034_0002__ONE_R_0034_0004__GOAL)
      & has_prn(R_0034_0002__ONE_R_0034_0004__GOAL,R_0034_0008__WANT)
      & r_0034_0008__want(R_0034_0008__WANT)
      & has_arg1(R_0034_0008__WANT,R_0034_0010__WORK)
      & r_0034_0010__work(R_0034_0010__WORK)
      & has_arg0(R_0034_0010__WORK,R_0034_0001__THEIR)
      & has_nim(R_0034_0008__WANT,R_0034_0007__ALL)
      & has_arg0(R_0034_0008__WANT,R_0034_0001__THEIR)
      & has_attrib(R_0034_0002__ONE_R_0034_0004__GOAL,R_0034_0003__COMMON)
      & has_gen(R_0034_0002__ONE_R_0034_0004__GOAL,R_0034_0001__THEIR) ) ).