35_a_factbook_1_2010
endemic in 36 countries of sub-Saharan Africa;
( (FRAG (ADJP-PRD (ADJ endemic;{endemic})
(PP (P-ROLE in;{in})
(NP (NUM 36)
(NS countries;{country})
(PP (P-ROLE of;{of})
(NP (NPR sub_<hyphen>_Saharan;{sub_Saharan})
(NPR Africa;{Africa}))))))
(PUNC ;))
(ID 35_a_factbook_1_2010))
arc(r_0035_0001__endemic,r_0035_0003__36_r_0035_0004__countries,r_0035_0002__in).
arc(r_0035_0003__36_r_0035_0004__countries,r_0035_0006__sub__hyphen__Saharan_r_0035_0007__Africa,r_0035_0005__of).
arc(z_0035_5003,r_0035_0001__endemic,prd).
fof(formula,axiom,
? [R_0035_0006__SUB__HYPHEN__SAHARAN_R_0035_0007__AFRICA,R_0035_0003__36_R_0035_0004__COUNTRIES,R_0035_0001__ENDEMIC,Z_0035_5003] :
( r_0035_0006__sub__hyphen__Saharan_r_0035_0007__Africa(R_0035_0006__SUB__HYPHEN__SAHARAN_R_0035_0007__AFRICA)
& z_0035_5003(Z_0035_5003)
& has_prd(Z_0035_5003,R_0035_0001__ENDEMIC)
& r_0035_0001__endemic(R_0035_0001__ENDEMIC)
& has_r_0035_0002__in(R_0035_0001__ENDEMIC,R_0035_0003__36_R_0035_0004__COUNTRIES)
& r_0035_0003__36_r_0035_0004__countries(R_0035_0003__36_R_0035_0004__COUNTRIES)
& has_r_0035_0005__of(R_0035_0003__36_R_0035_0004__COUNTRIES,R_0035_0006__SUB__HYPHEN__SAHARAN_R_0035_0007__AFRICA) ) ).