47_a_factbook_1_2010
geographic distribution includes Africa, Asia, the Middle East, and Eastern Europe;
( (IP-MAT (NP-SBJ (ADJP (ADJ geographic;{geographic}))
(N distribution;{distribution}))
(VBP;_Tn_ includes;{include})
(NP-OB1 (NLYR (NLYR (NPR Africa;{Africa}))
(PUNC ,)
(CONJP (NLYR (NPR Asia;{Asia})))
(PUNC ,)
(CONJP (NLYR (D the;{the})
(NPR Middle;{Middle})
(NPR East;{East})))
(PUNC ,)
(CONJP (CONJ and;{and})
(NLYR (NPR Eastern;{Eastern})
(NPR Europe;{Europe})))))
(PUNC ;))
(ID 47_a_factbook_1_2010))
arc(r_0047_0002__distribution,r_0047_0001__geographic,attrib).
arc(r_0047_0003__includes,r_0047_0002__distribution,arg0).
arc(r_0047_0003__includes,r_0047_0012__and,arg1).
arc(r_0047_0012__and,r_0047_0004__Africa,conj1).
arc(r_0047_0012__and,r_0047_0006__Asia,conj2).
arc(r_0047_0012__and,r_0047_0008__the_r_0047_0009__Middle_r_0047_0010__East,conj3).
arc(r_0047_0012__and,r_0047_0013__Eastern_r_0047_0014__Europe,conj4).
fof(formula,axiom,
? [R_0047_0001__GEOGRAPHIC,R_0047_0002__DISTRIBUTION,R_0047_0004__AFRICA,R_0047_0006__ASIA,R_0047_0008__THE_R_0047_0009__MIDDLE_R_0047_0010__EAST,R_0047_0013__EASTERN_R_0047_0014__EUROPE,R_0047_0012__AND,R_0047_0003__INCLUDES] :
( r_0047_0001__geographic(R_0047_0001__GEOGRAPHIC)
& r_0047_0004__Africa(R_0047_0004__AFRICA)
& r_0047_0006__Asia(R_0047_0006__ASIA)
& r_0047_0008__the_r_0047_0009__Middle_r_0047_0010__East(R_0047_0008__THE_R_0047_0009__MIDDLE_R_0047_0010__EAST)
& r_0047_0013__Eastern_r_0047_0014__Europe(R_0047_0013__EASTERN_R_0047_0014__EUROPE)
& r_0047_0003__includes(R_0047_0003__INCLUDES)
& has_arg1(R_0047_0003__INCLUDES,R_0047_0012__AND)
& r_0047_0012__and(R_0047_0012__AND)
& has_conj4(R_0047_0012__AND,R_0047_0013__EASTERN_R_0047_0014__EUROPE)
& has_conj3(R_0047_0012__AND,R_0047_0008__THE_R_0047_0009__MIDDLE_R_0047_0010__EAST)
& has_conj2(R_0047_0012__AND,R_0047_0006__ASIA)
& has_conj1(R_0047_0012__AND,R_0047_0004__AFRICA)
& has_arg0(R_0047_0003__INCLUDES,R_0047_0002__DISTRIBUTION)
& r_0047_0002__distribution(R_0047_0002__DISTRIBUTION)
& has_attrib(R_0047_0002__DISTRIBUTION,R_0047_0001__GEOGRAPHIC) ) ).