47_a_factbook_1_2010
geographic distribution includes Africa, Asia, the Middle East, and Eastern Europe;
arc(r_0047_0002__distribution, r_0047_0001__geographic, attrib3).
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_47_3_INCLUDES,R_47_2_DISTRIBUTION,R_47_1_GEOGRAPHIC,R_47_12_AND,R_47_4_AFRICA,R_47_6_ASIA,R_47_8_THE_MIDDLE_EAST,R_47_13_EASTERN_EUROPE] :
( geographic(R_47_1_GEOGRAPHIC)
& africa(R_47_4_AFRICA)
& asia(R_47_6_ASIA)
& the_Middle_East(R_47_8_THE_MIDDLE_EAST)
& eastern_Europe(R_47_13_EASTERN_EUROPE)
& includes(R_47_3_INCLUDES,R_47_2_DISTRIBUTION,R_47_12_AND)
& distribution(R_47_2_DISTRIBUTION)
& attrib3(R_47_2_DISTRIBUTION,R_47_1_GEOGRAPHIC)
& and(R_47_12_AND)
& conj1(R_47_12_AND,R_47_4_AFRICA)
& conj2(R_47_12_AND,R_47_6_ASIA)
& conj3(R_47_12_AND,R_47_8_THE_MIDDLE_EAST)
& conj4(R_47_12_AND,R_47_13_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))