53_a_factbook_1_2010
geographic distribution includes eastern and southern Africa where cattle and sheep are raised;
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).
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) ) ).
( (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))