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,
? [Z_34_A_GOODWILL_1,R_34_2_ONE_GOAL,R_34_3_COMMON,R_34_1_THEIR] :
( common(R_34_3_COMMON)
& their(R_34_1_THEIR)
& z_34_a_goodwill_1(Z_34_A_GOODWILL_1)
& nim2(Z_34_A_GOODWILL_1,R_34_2_ONE_GOAL)
& one_goal(R_34_2_ONE_GOAL)
& attrib8(R_34_2_ONE_GOAL,R_34_3_COMMON)
& gen(R_34_2_ONE_GOAL,R_34_1_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))