53_a_factbook_1_2010
geographic distribution includes eastern and southern Africa where cattle and sheep are raised;

%3 r_0053_0002__distribution distribution r_0053_0001__geographic geographic r_0053_0002__distribution->r_0053_0001__geographic [attrib] r_0053_0003__includes includes r_0053_0003__includes->r_0053_0002__distribution [arg0] r_0053_0007__Africa Africa r_0053_0003__includes->r_0053_0007__Africa [arg1] r_0053_0005__and and r_0053_0007__Africa->r_0053_0005__and [attrib] r_0053_0004__eastern eastern r_0053_0005__and->r_0053_0004__eastern [conj1] r_0053_0006__southern southern r_0053_0005__and->r_0053_0006__southern [conj2] r_0053_0010__and and r_0053_0009__cattle cattle r_0053_0010__and->r_0053_0009__cattle [conj1] r_0053_0011__sheep sheep r_0053_0010__and->r_0053_0011__sheep [conj2] r_0053_0012__are are r_0053_0012__are->r_0053_0007__Africa [nim] r_0053_0013__raised raised r_0053_0012__are->r_0053_0013__raised [scope] r_0053_0013__raised->r_0053_0010__and [arg1] z_000_53_a_factbook_1_2010_42 r_0053_0013__raised->z_000_53_a_factbook_1_2010_42 [arg0]
arc(r_0053_0002__distribution, r_0053_0001__geographic, attrib3).
arc(r_0053_0003__includes, r_0053_0002__distribution, arg0).
arc(r_0053_0003__includes, r_0053_0007__Africa, arg1).
arc(r_0053_0005__and, r_0053_0004__eastern, conj1).
arc(r_0053_0005__and, r_0053_0006__southern, conj2).
arc(r_0053_0007__Africa, r_0053_0005__and, attrib11).
arc(r_0053_0010__and, r_0053_0009__cattle, conj1).
arc(r_0053_0010__and, r_0053_0011__sheep, conj2).
arc(r_0053_0012__are, r_0053_0007__Africa, nim25).
arc(r_0053_0012__are, r_0053_0013__raised, scope).
arc(r_0053_0013__raised, r_0053_0010__and, arg1).
arc(r_0053_0013__raised, z_000_53_a_factbook_1_2010_42, arg0).



%3 r_0053_0002__distribution distribution r_0053_0001__geographic geographic r_0053_0002__distribution->r_0053_0001__geographic [attrib] r_0053_0003__includes includes r_0053_0003__includes->r_0053_0002__distribution [arg0] r_0053_0007__Africa Africa r_0053_0003__includes->r_0053_0007__Africa [arg1] r_0053_0005__and and r_0053_0007__Africa->r_0053_0005__and [attrib] r_0053_0004__eastern eastern r_0053_0005__and->r_0053_0004__eastern [conj1] r_0053_0006__southern southern r_0053_0005__and->r_0053_0006__southern [conj2] r_0053_0010__and and r_0053_0009__cattle cattle r_0053_0010__and->r_0053_0009__cattle [conj1] r_0053_0011__sheep sheep r_0053_0010__and->r_0053_0011__sheep [conj2] r_0053_0012__are_r_0053_0013__raised are raised r_0053_0012__are_r_0053_0013__raised->r_0053_0007__Africa [nim] r_0053_0012__are_r_0053_0013__raised->r_0053_0010__and [arg1] z_000_53_a_factbook_1_2010_42 r_0053_0012__are_r_0053_0013__raised->z_000_53_a_factbook_1_2010_42 [arg0]
fof(formula,axiom,
    ? [R_53_3_INCLUDES,R_53_2_DISTRIBUTION,R_53_1_GEOGRAPHIC,R_53_12_ARE_RAISED,Z_53_A_FACTBOOK_1_2010_42,R_53_10_AND,R_53_9_CATTLE,R_53_11_SHEEP,R_53_7_AFRICA,R_53_5_AND,R_53_4_EASTERN,R_53_6_SOUTHERN] :
      ( geographic(R_53_1_GEOGRAPHIC)
      & cattle(R_53_9_CATTLE)
      & sheep(R_53_11_SHEEP)
      & eastern(R_53_4_EASTERN)
      & southern(R_53_6_SOUTHERN)
      & includes(R_53_3_INCLUDES,R_53_2_DISTRIBUTION,R_53_7_AFRICA)
      & distribution(R_53_2_DISTRIBUTION)
      & attrib3(R_53_2_DISTRIBUTION,R_53_1_GEOGRAPHIC)
      & africa(R_53_7_AFRICA)
      & attrib11(R_53_7_AFRICA,R_53_5_AND)
      & and(R_53_5_AND)
      & conj1(R_53_5_AND,R_53_4_EASTERN)
      & conj2(R_53_5_AND,R_53_6_SOUTHERN)
      & are_raised(R_53_12_ARE_RAISED,Z_53_A_FACTBOOK_1_2010_42,R_53_10_AND)
      & and(R_53_10_AND)
      & conj1(R_53_10_AND,R_53_9_CATTLE)
      & conj2(R_53_10_AND,R_53_11_SHEEP)
      & nim25(R_53_12_ARE_RAISED,R_53_7_AFRICA) ) ).



n53_a_factbook_1_2010 n53_a_factbook_1_2010_5 geographic n53_a_factbook_1_2010_7 distribution n53_a_factbook_1_2010_9 includes n53_a_factbook_1_2010_15 eastern n53_a_factbook_1_2010_18 and n53_a_factbook_1_2010_21 southern n53_a_factbook_1_2010_23 Africa n53_a_factbook_1_2010_27 where n53_a_factbook_1_2010_32 cattle n53_a_factbook_1_2010_35 and n53_a_factbook_1_2010_38 sheep n53_a_factbook_1_2010_40 are n53_a_factbook_1_2010_43 * n53_a_factbook_1_2010_45 raised n53_a_factbook_1_2010_47 ; n53_a_factbook_1_2010_1 IP-MAT n53_a_factbook_1_2010_2 NP-SBJ n53_a_factbook_1_2010_1->n53_a_factbook_1_2010_2 n53_a_factbook_1_2010_8 VBP;_Tn_ n53_a_factbook_1_2010_1->n53_a_factbook_1_2010_8 n53_a_factbook_1_2010_10 NP-OB1 n53_a_factbook_1_2010_1->n53_a_factbook_1_2010_10 n53_a_factbook_1_2010_46 PUNC n53_a_factbook_1_2010_1->n53_a_factbook_1_2010_46 n53_a_factbook_1_2010_3 ADJP n53_a_factbook_1_2010_2->n53_a_factbook_1_2010_3 n53_a_factbook_1_2010_6 N n53_a_factbook_1_2010_2->n53_a_factbook_1_2010_6 n53_a_factbook_1_2010_4 ADJ n53_a_factbook_1_2010_3->n53_a_factbook_1_2010_4 n53_a_factbook_1_2010_4->n53_a_factbook_1_2010_5 n53_a_factbook_1_2010_6->n53_a_factbook_1_2010_7 n53_a_factbook_1_2010_8->n53_a_factbook_1_2010_9 n53_a_factbook_1_2010_11 ADJP n53_a_factbook_1_2010_10->n53_a_factbook_1_2010_11 n53_a_factbook_1_2010_22 NPR n53_a_factbook_1_2010_10->n53_a_factbook_1_2010_22 n53_a_factbook_1_2010_24 IP-REL n53_a_factbook_1_2010_10->n53_a_factbook_1_2010_24 n53_a_factbook_1_2010_12 AJLYR n53_a_factbook_1_2010_11->n53_a_factbook_1_2010_12 n53_a_factbook_1_2010_13 AJLYR n53_a_factbook_1_2010_12->n53_a_factbook_1_2010_13 n53_a_factbook_1_2010_16 CONJP n53_a_factbook_1_2010_12->n53_a_factbook_1_2010_16 n53_a_factbook_1_2010_14 ADJ n53_a_factbook_1_2010_13->n53_a_factbook_1_2010_14 n53_a_factbook_1_2010_14->n53_a_factbook_1_2010_15 n53_a_factbook_1_2010_17 CONJ n53_a_factbook_1_2010_16->n53_a_factbook_1_2010_17 n53_a_factbook_1_2010_19 AJLYR n53_a_factbook_1_2010_16->n53_a_factbook_1_2010_19 n53_a_factbook_1_2010_17->n53_a_factbook_1_2010_18 n53_a_factbook_1_2010_20 ADJ n53_a_factbook_1_2010_19->n53_a_factbook_1_2010_20 n53_a_factbook_1_2010_20->n53_a_factbook_1_2010_21 n53_a_factbook_1_2010_22->n53_a_factbook_1_2010_23 n53_a_factbook_1_2010_25 ADVP-NIM n53_a_factbook_1_2010_24->n53_a_factbook_1_2010_25 n53_a_factbook_1_2010_28 NP-SBJ n53_a_factbook_1_2010_24->n53_a_factbook_1_2010_28 n53_a_factbook_1_2010_39 BEP;_cat_VePASS_ n53_a_factbook_1_2010_24->n53_a_factbook_1_2010_39 n53_a_factbook_1_2010_41 IP-PPL-CAT n53_a_factbook_1_2010_24->n53_a_factbook_1_2010_41 n53_a_factbook_1_2010_26 RADV n53_a_factbook_1_2010_25->n53_a_factbook_1_2010_26 n53_a_factbook_1_2010_26->n53_a_factbook_1_2010_27 n53_a_factbook_1_2010_29 NLYR n53_a_factbook_1_2010_28->n53_a_factbook_1_2010_29 n53_a_factbook_1_2010_30 NLYR n53_a_factbook_1_2010_29->n53_a_factbook_1_2010_30 n53_a_factbook_1_2010_33 CONJP n53_a_factbook_1_2010_29->n53_a_factbook_1_2010_33 n53_a_factbook_1_2010_31 NS n53_a_factbook_1_2010_30->n53_a_factbook_1_2010_31 n53_a_factbook_1_2010_31->n53_a_factbook_1_2010_32 n53_a_factbook_1_2010_34 CONJ n53_a_factbook_1_2010_33->n53_a_factbook_1_2010_34 n53_a_factbook_1_2010_36 NLYR n53_a_factbook_1_2010_33->n53_a_factbook_1_2010_36 n53_a_factbook_1_2010_34->n53_a_factbook_1_2010_35 n53_a_factbook_1_2010_37 NS n53_a_factbook_1_2010_36->n53_a_factbook_1_2010_37 n53_a_factbook_1_2010_37->n53_a_factbook_1_2010_38 n53_a_factbook_1_2010_39->n53_a_factbook_1_2010_40 n53_a_factbook_1_2010_42 NP-LGS n53_a_factbook_1_2010_41->n53_a_factbook_1_2010_42 n53_a_factbook_1_2010_44 VVN;_Tn_ n53_a_factbook_1_2010_41->n53_a_factbook_1_2010_44 n53_a_factbook_1_2010_42->n53_a_factbook_1_2010_43 n53_a_factbook_1_2010_44->n53_a_factbook_1_2010_45 n53_a_factbook_1_2010_46->n53_a_factbook_1_2010_47
( (IP-MAT (NP-SBJ (ADJP (ADJ geographic;{geographic}))
                  (N distribution;{distribution}))
          (VBP;_Tn_ includes;{include})
          (NP-OB1 (ADJP (AJLYR (AJLYR (ADJ eastern;{eastern}))
                               (CONJP (CONJ and;{and})
                                      (AJLYR (ADJ southern;{southern})))))
                  (NPR Africa;{Africa})
                  (IP-REL (ADVP-NIM (RADV where;{where}))
                          (NP-SBJ (NLYR (NLYR (NS cattle;{cattle}))
                                        (CONJP (CONJ and;{and})
                                               (NLYR (NS sheep;{sheep})))))
                          (BEP;_cat_VePASS_ are;{be})
                          (IP-PPL-CAT (NP-LGS *)
                                      (VVN;_Tn_ raised;{raise}))))
          (PUNC ;))
  (ID 53_a_factbook_1_2010))