41_a_goodwill
Please help Goodwill and help people find jobs.
arc(r_0041_0002__help, r_0041_0003__Goodwill, arg1).
arc(r_0041_0002__help, z_000_41_a_goodwill_1, 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_000_41_a_goodwill_1, arg0).
arc(r_0041_0007__find, r_0041_0008__jobs, arg1).
arc(r_0041_0007__find, x_000_41_a_goodwill_20, arg0).
fof(formula,axiom,
? [R_41_4_AND,R_41_2_HELP,R_41_3_GOODWILL,R_41_5_HELP,Z_41_A_GOODWILL_1,R_41_6_PEOPLE,R_41_7_FIND,X_41_A_GOODWILL_20,R_41_8_JOBS] :
( goodwill(R_41_3_GOODWILL)
& people(R_41_6_PEOPLE)
& jobs(R_41_8_JOBS)
& and(R_41_4_AND)
& conj1(R_41_4_AND,R_41_2_HELP)
& help(R_41_2_HELP,Z_41_A_GOODWILL_1,R_41_3_GOODWILL)
& conj2(R_41_4_AND,R_41_5_HELP)
& help(R_41_5_HELP,Z_41_A_GOODWILL_1,R_41_6_PEOPLE,R_41_7_FIND)
& find(R_41_7_FIND,X_41_A_GOODWILL_20,R_41_8_JOBS) ) ).
( (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))