89_a_lob_a02
In Africa a clash:
( (FRAG (PP-NIM (P-ROLE In;{in})
(NP (NPR Africa;{Africa})))
(NP (D a;{a})
(N clash;{clash}))
(PUNC :))
(ID 89_a_lob_a02))
arc(z_0089_5004,r_0089_0002__Africa,r_0089_0001__In__nim).
arc(z_0089_5004,r_0089_0003__a_r_0089_0004__clash,z_0089_5002).
fof(formula,axiom,
? [R_0089_0002__AFRICA,R_0089_0003__A_R_0089_0004__CLASH,Z_0089_5004] :
( r_0089_0002__Africa(R_0089_0002__AFRICA)
& r_0089_0003__a_r_0089_0004__clash(R_0089_0003__A_R_0089_0004__CLASH)
& z_0089_5004(Z_0089_5004)
& has_z_0089_5002(Z_0089_5004,R_0089_0003__A_R_0089_0004__CLASH)
& has_r_0089_0001__In__nim(Z_0089_5004,R_0089_0002__AFRICA) ) ).