Context                Previous, Next                Top


47_a_factbook_1_2010
geographic distribution includes Africa, Asia, the Middle East, and Eastern Europe;

%3 r_0047_0002__distribution distribution r_0047_0001__geographic geographic r_0047_0002__distribution->r_0047_0001__geographic [attrib] r_0047_0003__includes includes r_0047_0003__includes->r_0047_0002__distribution [arg0] r_0047_0012__and and r_0047_0003__includes->r_0047_0012__and [arg1] r_0047_0004__Africa Africa r_0047_0012__and->r_0047_0004__Africa [conj1] r_0047_0006__Asia Asia r_0047_0012__and->r_0047_0006__Asia [conj2] r_0047_0008__the_r_0047_0009__Middle_r_0047_0010__East the Middle East r_0047_0012__and->r_0047_0008__the_r_0047_0009__Middle_r_0047_0010__East [conj3] r_0047_0013__Eastern_r_0047_0014__Europe Eastern Europe r_0047_0012__and->r_0047_0013__Eastern_r_0047_0014__Europe [conj4] 
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).


%3 r_0047_0002__distribution distribution r_0047_0001__geographic geographic r_0047_0002__distribution->r_0047_0001__geographic [attrib] r_0047_0003__includes includes r_0047_0003__includes->r_0047_0002__distribution [arg0] r_0047_0012__and and r_0047_0003__includes->r_0047_0012__and [arg1] r_0047_0004__Africa Africa r_0047_0012__and->r_0047_0004__Africa [conj1] r_0047_0006__Asia Asia r_0047_0012__and->r_0047_0006__Asia [conj2] r_0047_0008__the_r_0047_0009__Middle_r_0047_0010__East the Middle East r_0047_0012__and->r_0047_0008__the_r_0047_0009__Middle_r_0047_0010__East [conj3] r_0047_0013__Eastern_r_0047_0014__Europe Eastern Europe 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) ) ).


n47_a_factbook_1_2010 n47_a_factbook_1_2010_5 geographic n47_a_factbook_1_2010_7 distribution n47_a_factbook_1_2010_9 includes n47_a_factbook_1_2010_14 Africa n47_a_factbook_1_2010_16 , n47_a_factbook_1_2010_20 Asia n47_a_factbook_1_2010_22 , n47_a_factbook_1_2010_26 the n47_a_factbook_1_2010_28 Middle n47_a_factbook_1_2010_30 East n47_a_factbook_1_2010_32 , n47_a_factbook_1_2010_35 and n47_a_factbook_1_2010_38 Eastern n47_a_factbook_1_2010_40 Europe n47_a_factbook_1_2010_42 ; n47_a_factbook_1_2010_1 IP-MAT n47_a_factbook_1_2010_2 NP-SBJ n47_a_factbook_1_2010_1->n47_a_factbook_1_2010_2 n47_a_factbook_1_2010_8 VBP;_Tn_ n47_a_factbook_1_2010_1->n47_a_factbook_1_2010_8 n47_a_factbook_1_2010_10 NP-OB1 n47_a_factbook_1_2010_1->n47_a_factbook_1_2010_10 n47_a_factbook_1_2010_41 PUNC n47_a_factbook_1_2010_1->n47_a_factbook_1_2010_41 n47_a_factbook_1_2010_3 ADJP n47_a_factbook_1_2010_2->n47_a_factbook_1_2010_3 n47_a_factbook_1_2010_6 N n47_a_factbook_1_2010_2->n47_a_factbook_1_2010_6 n47_a_factbook_1_2010_4 ADJ n47_a_factbook_1_2010_3->n47_a_factbook_1_2010_4 n47_a_factbook_1_2010_4->n47_a_factbook_1_2010_5 n47_a_factbook_1_2010_6->n47_a_factbook_1_2010_7 n47_a_factbook_1_2010_8->n47_a_factbook_1_2010_9 n47_a_factbook_1_2010_11 NLYR n47_a_factbook_1_2010_10->n47_a_factbook_1_2010_11 n47_a_factbook_1_2010_12 NLYR n47_a_factbook_1_2010_11->n47_a_factbook_1_2010_12 n47_a_factbook_1_2010_15 PUNC n47_a_factbook_1_2010_11->n47_a_factbook_1_2010_15 n47_a_factbook_1_2010_17 CONJP n47_a_factbook_1_2010_11->n47_a_factbook_1_2010_17 n47_a_factbook_1_2010_21 PUNC n47_a_factbook_1_2010_11->n47_a_factbook_1_2010_21 n47_a_factbook_1_2010_23 CONJP n47_a_factbook_1_2010_11->n47_a_factbook_1_2010_23 n47_a_factbook_1_2010_31 PUNC n47_a_factbook_1_2010_11->n47_a_factbook_1_2010_31 n47_a_factbook_1_2010_33 CONJP n47_a_factbook_1_2010_11->n47_a_factbook_1_2010_33 n47_a_factbook_1_2010_13 NPR n47_a_factbook_1_2010_12->n47_a_factbook_1_2010_13 n47_a_factbook_1_2010_13->n47_a_factbook_1_2010_14 n47_a_factbook_1_2010_15->n47_a_factbook_1_2010_16 n47_a_factbook_1_2010_18 NLYR n47_a_factbook_1_2010_17->n47_a_factbook_1_2010_18 n47_a_factbook_1_2010_19 NPR n47_a_factbook_1_2010_18->n47_a_factbook_1_2010_19 n47_a_factbook_1_2010_19->n47_a_factbook_1_2010_20 n47_a_factbook_1_2010_21->n47_a_factbook_1_2010_22 n47_a_factbook_1_2010_24 NLYR n47_a_factbook_1_2010_23->n47_a_factbook_1_2010_24 n47_a_factbook_1_2010_25 D n47_a_factbook_1_2010_24->n47_a_factbook_1_2010_25 n47_a_factbook_1_2010_27 NPR n47_a_factbook_1_2010_24->n47_a_factbook_1_2010_27 n47_a_factbook_1_2010_29 NPR n47_a_factbook_1_2010_24->n47_a_factbook_1_2010_29 n47_a_factbook_1_2010_25->n47_a_factbook_1_2010_26 n47_a_factbook_1_2010_27->n47_a_factbook_1_2010_28 n47_a_factbook_1_2010_29->n47_a_factbook_1_2010_30 n47_a_factbook_1_2010_31->n47_a_factbook_1_2010_32 n47_a_factbook_1_2010_34 CONJ n47_a_factbook_1_2010_33->n47_a_factbook_1_2010_34 n47_a_factbook_1_2010_36 NLYR n47_a_factbook_1_2010_33->n47_a_factbook_1_2010_36 n47_a_factbook_1_2010_34->n47_a_factbook_1_2010_35 n47_a_factbook_1_2010_37 NPR n47_a_factbook_1_2010_36->n47_a_factbook_1_2010_37 n47_a_factbook_1_2010_39 NPR n47_a_factbook_1_2010_36->n47_a_factbook_1_2010_39 n47_a_factbook_1_2010_37->n47_a_factbook_1_2010_38 n47_a_factbook_1_2010_39->n47_a_factbook_1_2010_40 n47_a_factbook_1_2010_41->n47_a_factbook_1_2010_42 
( (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))