( (FRAG (PP-SCON (P-CONN Because;{because})
                 (IP-ADV (NP-SBJ (NS people;{people}))
                         (VBP;_Tt_ want;{want})
                         (IP-INF-OB1 (TO to;{to})
                                     (VB;_I_ work;{work}))))
        (PUNC .))
  (ID 18_a_goodwill))

arc(r_0018_0001__Because,r_0018_0003__want,restriction).
arc(r_0018_0001__Because,z_0018_5006,scope).
arc(r_0018_0003__want,r_0018_0002__people,arg0).
arc(r_0018_0003__want,r_0018_0005__work,arg1).
arc(r_0018_0005__work,r_0018_0002__people,arg0).

fof(formula,axiom,
    ? [R_0018_0002__PEOPLE,R_0018_0005__WORK,R_0018_0003__WANT,Z_0018_5006,R_0018_0001__BECAUSE] :
      ( r_0018_0002__people(R_0018_0002__PEOPLE)
      & z_0018_5006(Z_0018_5006)
      & r_0018_0001__Because(R_0018_0001__BECAUSE)
      & has_conj2(R_0018_0001__BECAUSE,Z_0018_5006)
      & has_conj1(R_0018_0001__BECAUSE,R_0018_0003__WANT)
      & r_0018_0003__want(R_0018_0003__WANT)
      & has_arg1(R_0018_0003__WANT,R_0018_0005__WORK)
      & r_0018_0005__work(R_0018_0005__WORK)
      & has_arg0(R_0018_0005__WORK,R_0018_0002__PEOPLE)
      & has_arg0(R_0018_0003__WANT,R_0018_0002__PEOPLE) ) ).