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_0053_0001__GEOGRAPHIC,R_0053_0002__DISTRIBUTION,R_0053_0004__EASTERN,R_0053_0006__SOUTHERN,R_0053_0005__AND,R_0053_0007__AFRICA,R_0053_0003__INCLUDES,R_0053_0009__CATTLE,R_0053_0011__SHEEP,R_0053_0010__AND,Z_000_53_A_FACTBOOK_1_2010_42,R_0053_0012__ARE_R_0053_0013__RAISED] :
( r_0053_0001__geographic(R_0053_0001__GEOGRAPHIC)
& r_0053_0004__eastern(R_0053_0004__EASTERN)
& r_0053_0006__southern(R_0053_0006__SOUTHERN)
& r_0053_0009__cattle(R_0053_0009__CATTLE)
& r_0053_0011__sheep(R_0053_0011__SHEEP)
& z_000_53_a_factbook_1_2010_42(Z_000_53_A_FACTBOOK_1_2010_42)
& r_0053_0012__are_r_0053_0013__raised(R_0053_0012__ARE_R_0053_0013__RAISED)
& has_arg0(R_0053_0012__ARE_R_0053_0013__RAISED,Z_000_53_A_FACTBOOK_1_2010_42)
& has_arg1(R_0053_0012__ARE_R_0053_0013__RAISED,R_0053_0010__AND)
& r_0053_0010__and(R_0053_0010__AND)
& has_conj2(R_0053_0010__AND,R_0053_0011__SHEEP)
& has_conj1(R_0053_0010__AND,R_0053_0009__CATTLE)
& has_nim25(R_0053_0012__ARE_R_0053_0013__RAISED,R_0053_0007__AFRICA)
& r_0053_0007__Africa(R_0053_0007__AFRICA)
& has_attrib11(R_0053_0007__AFRICA,R_0053_0005__AND)
& r_0053_0005__and(R_0053_0005__AND)
& has_conj2(R_0053_0005__AND,R_0053_0006__SOUTHERN)
& has_conj1(R_0053_0005__AND,R_0053_0004__EASTERN)
& r_0053_0003__includes(R_0053_0003__INCLUDES)
& has_arg1(R_0053_0003__INCLUDES,R_0053_0007__AFRICA)
& has_arg0(R_0053_0003__INCLUDES,R_0053_0002__DISTRIBUTION)
& r_0053_0002__distribution(R_0053_0002__DISTRIBUTION)
& has_attrib3(R_0053_0002__DISTRIBUTION,R_0053_0001__GEOGRAPHIC) ) ).
( (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))