( (IP-IMP (FRM Please)
          (ILYR (ILYR (VB;_Tn_ help;{help})
                      (NP-OB1;{GOODWILL} (NPR Goodwill;{Goodwill})))
                (CONJP (CONJ and;{and})
                       (ILYR (VB;_Cn.i_ help;{help})
                             (NP-OB1 (NS people;{people}))
                             (IP-INF-PRD (VB;_Tn_ find;{find})
                                         (NP-OB1 (NS jobs;{job}))))))
          (PUNC .))
  (ID 41_a_goodwill))

arc(r_0041_0002__help,r_0041_0003__Goodwill,arg1).
arc(r_0041_0002__help,z_0041_5002,arg0).
arc(r_0041_0004__and,r_0041_0002__help,conj1).
arc(r_0041_0004__and,r_0041_0005__help,conj2).
arc(r_0041_0005__help,r_0041_0006__people,arg1).
arc(r_0041_0005__help,r_0041_0007__find,prd).
arc(r_0041_0005__help,z_0041_5002,arg0).
arc(r_0041_0007__find,r_0041_0008__jobs,arg1).
arc(r_0041_0007__find,z_0041_5007,arg0).

fof(formula,axiom,
    ? [R_0041_0003__GOODWILL,Z_0041_5002,R_0041_0002__HELP,R_0041_0006__PEOPLE,R_0041_0008__JOBS,Z_0041_5007,R_0041_0007__FIND,R_0041_0005__HELP,R_0041_0004__AND] :
      ( r_0041_0003__Goodwill(R_0041_0003__GOODWILL)
      & r_0041_0006__people(R_0041_0006__PEOPLE)
      & r_0041_0008__jobs(R_0041_0008__JOBS)
      & z_0041_5002(Z_0041_5002)
      & z_0041_5007(Z_0041_5007)
      & r_0041_0004__and(R_0041_0004__AND)
      & has_conj2(R_0041_0004__AND,R_0041_0005__HELP)
      & r_0041_0005__help(R_0041_0005__HELP)
      & has_arg0(R_0041_0005__HELP,Z_0041_5002)
      & has_prd(R_0041_0005__HELP,R_0041_0007__FIND)
      & r_0041_0007__find(R_0041_0007__FIND)
      & has_arg0(R_0041_0007__FIND,Z_0041_5007)
      & has_arg1(R_0041_0007__FIND,R_0041_0008__JOBS)
      & has_arg1(R_0041_0005__HELP,R_0041_0006__PEOPLE)
      & has_conj1(R_0041_0004__AND,R_0041_0002__HELP)
      & r_0041_0002__help(R_0041_0002__HELP)
      & has_arg0(R_0041_0002__HELP,Z_0041_5002)
      & has_arg1(R_0041_0002__HELP,R_0041_0003__GOODWILL) ) ).