TSPC 37_a_goodwill

37_a_goodwill
Last year, Goodwill helped 3,300 people find jobs that increased their self-sufficiency.

( (IP-MAT (NP-NIM (ADJP (ADJ Last;{last}))
                  (N year;{year}))
          (PUNC ,)
          (NP-SBJ;{GOODWILL} (NPR Goodwill;{Goodwill}))
          (VBD;_Cn.i_ helped;{help})
          (NP-OB1;{PERSONS} (NUM 3,300)
                            (NS people;{people}))
          (IP-INF-PRD (VB;_Tn_ find;{find})
                      (NP-OB1 (NS jobs;{job})
                              (IP-REL (C that;{that})
                                      (NP-SBJ *T*)
                                      (VBD;_Tn_ increased;{increase})
                                      (NP-OB1 (NP-GEN;{PERSONS} (PRO;_genm_ their;{their}))
                                              (N self_<hyphen>_sufficiency;{self_sufficiency})))))
          (PUNC .))
  (ID 37_a_goodwill))

arc(r_0037_0002__year,r_0037_0001__Last,attrib).
arc(r_0037_0005__helped,r_0037_0002__year,nim).
arc(r_0037_0005__helped,r_0037_0004__Goodwill,arg0).
arc(r_0037_0005__helped,r_0037_0006__3_comma_300_r_0037_0007__people,arg1).
arc(r_0037_0005__helped,r_0037_0008__find,prd).
arc(r_0037_0008__find,r_0037_0009__jobs,arg1).
arc(r_0037_0008__find,z_0037_5006,arg0).
arc(r_0037_0011__increased,r_0037_0009__jobs,inv_arg0).
arc(r_0037_0011__increased,r_0037_0013__self__hyphen__sufficiency,arg1).
arc(r_0037_0013__self__hyphen__sufficiency,r_0037_0006__3_comma_300_r_0037_0007__people,gen).

fof(formula,axiom,
    ? [R_0037_0001__LAST,R_0037_0002__YEAR,R_0037_0004__GOODWILL,R_0037_0006__3_COMMA_300_R_0037_0007__PEOPLE,R_0037_0013__SELF__HYPHEN__SUFFICIENCY,R_0037_0011__INCREASED,R_0037_0009__JOBS,Z_0037_5006,R_0037_0008__FIND,R_0037_0005__HELPED] :
      ( r_0037_0001__Last(R_0037_0001__LAST)
      & r_0037_0004__Goodwill(R_0037_0004__GOODWILL)
      & r_0037_0006__3_comma_300_r_0037_0007__people(R_0037_0006__3_COMMA_300_R_0037_0007__PEOPLE)
      & z_0037_5006(Z_0037_5006)
      & r_0037_0005__helped(R_0037_0005__HELPED)
      & has_prd(R_0037_0005__HELPED,R_0037_0008__FIND)
      & r_0037_0008__find(R_0037_0008__FIND)
      & has_arg0(R_0037_0008__FIND,Z_0037_5006)
      & has_arg1(R_0037_0008__FIND,R_0037_0009__JOBS)
      & r_0037_0009__jobs(R_0037_0009__JOBS)
      & has_inv_arg0(R_0037_0009__JOBS,R_0037_0011__INCREASED)
      & r_0037_0011__increased(R_0037_0011__INCREASED)
      & has_arg1(R_0037_0011__INCREASED,R_0037_0013__SELF__HYPHEN__SUFFICIENCY)
      & r_0037_0013__self__hyphen__sufficiency(R_0037_0013__SELF__HYPHEN__SUFFICIENCY)
      & has_gen(R_0037_0013__SELF__HYPHEN__SUFFICIENCY,R_0037_0006__3_COMMA_300_R_0037_0007__PEOPLE)
      & has_arg1(R_0037_0005__HELPED,R_0037_0006__3_COMMA_300_R_0037_0007__PEOPLE)
      & has_arg0(R_0037_0005__HELPED,R_0037_0004__GOODWILL)
      & has_nim(R_0037_0005__HELPED,R_0037_0002__YEAR)
      & r_0037_0002__year(R_0037_0002__YEAR)
      & has_attrib(R_0037_0002__YEAR,R_0037_0001__LAST) ) ).