1_a_opencities
What does migration bring?
( (CP-QUE-MAT (IP-SUB (NP-OB1 (WPRO What;{what}))
(DOP does;{do})
(NP-SBJ;{MIGRATION} (N migration;{migration}))
(VB;_Tn_ bring;{bring}))
(PUNC ?))
(ID 1_a_opencities))
arc(r_0001_0002__does_r_0001_0004__bring,r_0001_0001__What,arg1).
arc(r_0001_0002__does_r_0001_0004__bring,r_0001_0003__migration,arg0).
fof(formula,axiom,
? [R_0001_0001__WHAT,R_0001_0003__MIGRATION,R_0001_0002__DOES_R_0001_0004__BRING] :
( r_0001_0001__What(R_0001_0001__WHAT)
& r_0001_0003__migration(R_0001_0003__MIGRATION)
& r_0001_0002__does_r_0001_0004__bring(R_0001_0002__DOES_R_0001_0004__BRING)
& has_arg0(R_0001_0002__DOES_R_0001_0004__BRING,R_0001_0003__MIGRATION)
& has_arg1(R_0001_0002__DOES_R_0001_0004__BRING,R_0001_0001__WHAT) ) ).