59_a_voice_of_america
The children come from different parts of the country.
( (IP-MAT (NP-SBJ;{CHILDREN} (D The;{the})
(NS children;{child}))
(VBP;_I_ come;{come})
(PP-NIM (P-ROLE from;{from})
(NP (ADJP (ADJ different;{different}))
(NS parts;{part})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(N country;{country})))))
(PUNC .))
(ID 59_a_voice_of_america;p00d0269))
arc(r_0059_0003__come,r_0059_0001__The_r_0059_0002__children,arg0).
arc(r_0059_0003__come,r_0059_0006__parts,r_0059_0004__from__nim).
arc(r_0059_0006__parts,r_0059_0005__different,attrib).
arc(r_0059_0006__parts,r_0059_0008__the_r_0059_0009__country,r_0059_0007__of).
fof(formula,axiom,
? [R_0059_0001__THE_R_0059_0002__CHILDREN,R_0059_0005__DIFFERENT,R_0059_0008__THE_R_0059_0009__COUNTRY,R_0059_0006__PARTS,R_0059_0003__COME] :
( r_0059_0001__The_r_0059_0002__children(R_0059_0001__THE_R_0059_0002__CHILDREN)
& r_0059_0005__different(R_0059_0005__DIFFERENT)
& r_0059_0008__the_r_0059_0009__country(R_0059_0008__THE_R_0059_0009__COUNTRY)
& r_0059_0003__come(R_0059_0003__COME)
& has_r_0059_0004__from__nim(R_0059_0003__COME,R_0059_0006__PARTS)
& r_0059_0006__parts(R_0059_0006__PARTS)
& has_r_0059_0007__of(R_0059_0006__PARTS,R_0059_0008__THE_R_0059_0009__COUNTRY)
& has_attrib(R_0059_0006__PARTS,R_0059_0005__DIFFERENT)
& has_arg0(R_0059_0003__COME,R_0059_0001__THE_R_0059_0002__CHILDREN) ) ).