34_a_goodwill
Their one common goal: they all want to work.
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, attrib8).
arc(z_000_34_a_goodwill_1, r_0034_0002__one_r_0034_0004__goal, nim2).
fof(formula,axiom,
? [R_0034_0001__THEIR,R_0034_0003__COMMON,R_0034_0002__ONE_R_0034_0004__GOAL,Z_000_34_A_GOODWILL_1] :
( r_0034_0001__Their(R_0034_0001__THEIR)
& r_0034_0003__common(R_0034_0003__COMMON)
& z_000_34_a_goodwill_1(Z_000_34_A_GOODWILL_1)
& has_nim2(Z_000_34_A_GOODWILL_1,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_attrib8(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) ) ).
( (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))