Context                Previous, Next                Top


28_a_factbook_1_2010
occurs only in tropical South America and sub-Saharan Africa, where most cases are reported;

%3 r_0028_0001__occurs occurs r_0028_0002__only only r_0028_0001__occurs->r_0028_0002__only [nim] r_0028_0007__and and r_0028_0001__occurs->r_0028_0007__and in [clr] r_0028_1001____star__ * r_0028_0001__occurs->r_0028_1001____star__ [arg0] r_0028_0005__South_r_0028_0006__America South America r_0028_0007__and->r_0028_0005__South_r_0028_0006__America [conj1] r_0028_0008__sub__hyphen__Saharan_r_0028_0009__Africa sub-Saharan Africa r_0028_0007__and->r_0028_0008__sub__hyphen__Saharan_r_0028_0009__Africa [conj2] r_0028_0004__tropical tropical r_0028_0005__South_r_0028_0006__America->r_0028_0004__tropical [attrib] r_0028_0012__most_quant most [quant] r_0028_0013__cases cases r_0028_0012__most_quant->r_0028_0013__cases [restriction] r_0028_0014__are are r_0028_0012__most_quant->r_0028_0014__are [scope] r_0028_0014__are->r_0028_0007__and [nim] r_0028_0015__reported reported r_0028_0014__are->r_0028_0015__reported [scope] r_0028_0015__reported->r_0028_0013__cases [arg1] z_000_28_a_factbook_1_2010_45 r_0028_0015__reported->z_000_28_a_factbook_1_2010_45 [arg0] 
arc(r_0028_0001__occurs, r_0028_0002__only, nim7).
arc(r_0028_0001__occurs, r_0028_0007__and, r_0028_0003__in_clr13).
arc(r_0028_0001__occurs, r_0028_1001____star__, arg0).
arc(r_0028_0005__South_r_0028_0006__America, r_0028_0004__tropical, attrib16).
arc(r_0028_0007__and, r_0028_0005__South_r_0028_0006__America, conj1).
arc(r_0028_0007__and, r_0028_0008__sub__hyphen__Saharan_r_0028_0009__Africa, conj2).
arc(r_0028_0012__most_quant, r_0028_0013__cases, restriction).
arc(r_0028_0012__most_quant, r_0028_0014__are, scope).
arc(r_0028_0014__are, r_0028_0007__and, nim34).
arc(r_0028_0014__are, r_0028_0015__reported, scope).
arc(r_0028_0015__reported, r_0028_0013__cases, arg1).
arc(r_0028_0015__reported, z_000_28_a_factbook_1_2010_45, arg0).


%3 r_0028_0014__are_r_0028_0015__reported are reported z_000_28_a_factbook_1_2010_45 r_0028_0014__are_r_0028_0015__reported->z_000_28_a_factbook_1_2010_45 [arg0] r_0028_0013__cases cases r_0028_0014__are_r_0028_0015__reported->r_0028_0013__cases [arg1] r_0028_0007__and and r_0028_0014__are_r_0028_0015__reported->r_0028_0007__and [nim] r_0028_0008__sub__hyphen__Saharan_r_0028_0009__Africa sub-Saharan Africa r_0028_0007__and->r_0028_0008__sub__hyphen__Saharan_r_0028_0009__Africa [conj2] r_0028_0005__South_r_0028_0006__America South America r_0028_0007__and->r_0028_0005__South_r_0028_0006__America [conj1] r_0028_0012__most_quant most [quant] r_0028_0012__most_quant->r_0028_0014__are_r_0028_0015__reported [scope] r_0028_0012__most_quant->r_0028_0013__cases [restriction] r_0028_0004__tropical tropical r_0028_0005__South_r_0028_0006__America->r_0028_0004__tropical [attrib] r_0028_0001__occurs occurs r_0028_0001__occurs->r_0028_0007__and in [clr] r_0028_1001____star__ * r_0028_0001__occurs->r_0028_1001____star__ [arg0] r_0028_0002__only only r_0028_0001__occurs->r_0028_0002__only [nim] 
fof(formula,axiom,
    ? [R_28_1_OCCURS,R_28_1001__STAR_,R_28_2_ONLY,R_28_7_AND,R_28_5_SOUTH_AMERICA,R_28_4_TROPICAL,R_28_8_SUB_HYPHEN_SAHARAN_AFRICA] :
      ( _star_(R_28_1001__STAR_)
      & only(R_28_2_ONLY)
      & tropical(R_28_4_TROPICAL)
      & sub_hyphen_Saharan_Africa(R_28_8_SUB_HYPHEN_SAHARAN_AFRICA)
      & occurs(R_28_1_OCCURS,R_28_1001__STAR_)
      & nim7(R_28_1_OCCURS,R_28_2_ONLY)
      & in_clr13(R_28_1_OCCURS,R_28_7_AND)
      & and(R_28_7_AND)
      & conj1(R_28_7_AND,R_28_5_SOUTH_AMERICA)
      & south_America(R_28_5_SOUTH_AMERICA)
      & attrib16(R_28_5_SOUTH_AMERICA,R_28_4_TROPICAL)
      & conj2(R_28_7_AND,R_28_8_SUB_HYPHEN_SAHARAN_AFRICA)
      & ! [R_28_13_CASES] :
          ( cases(R_28_13_CASES)
         => ? [R_28_14_ARE_REPORTED,Z_28_A_FACTBOOK_1_2010_45] :
              ( are_reported(R_28_14_ARE_REPORTED,Z_28_A_FACTBOOK_1_2010_45,R_28_13_CASES)
              & nim34(R_28_14_ARE_REPORTED,R_28_7_AND) ) ) ) ).


n28_a_factbook_1_2010 n28_a_factbook_1_2010__1_1_1_1 _*_ n28_a_factbook_1_2010__1_2_1 occurs n28_a_factbook_1_2010__1_3_1_1 only n28_a_factbook_1_2010__1_4_1_1 in n28_a_factbook_1_2010__1_4_2_1_1_1_1_1 tropical n28_a_factbook_1_2010__1_4_2_1_1_2_1 South n28_a_factbook_1_2010__1_4_2_1_1_3_1 America n28_a_factbook_1_2010__1_4_2_1_2_1_1 and n28_a_factbook_1_2010__1_4_2_1_2_2_1_1 sub-Saharan n28_a_factbook_1_2010__1_4_2_1_2_2_2_1 Africa n28_a_factbook_1_2010__1_4_2_2_1 , n28_a_factbook_1_2010__1_4_2_3_1_1_1 where n28_a_factbook_1_2010__1_4_2_3_2_1_1 most n28_a_factbook_1_2010__1_4_2_3_2_2_1 cases n28_a_factbook_1_2010__1_4_2_3_3_1 are n28_a_factbook_1_2010__1_4_2_3_4_1_1 * n28_a_factbook_1_2010__1_4_2_3_4_2_1 reported n28_a_factbook_1_2010__1_5_1 ; n28_a_factbook_1_2010__1 IP-MAT n28_a_factbook_1_2010__1_1 NP-SBJ n28_a_factbook_1_2010__1->n28_a_factbook_1_2010__1_1 n28_a_factbook_1_2010__1_2 VBP;_Ipr_ n28_a_factbook_1_2010__1->n28_a_factbook_1_2010__1_2 n28_a_factbook_1_2010__1_3 ADVP-NIM n28_a_factbook_1_2010__1->n28_a_factbook_1_2010__1_3 n28_a_factbook_1_2010__1_4 PP-CLR n28_a_factbook_1_2010__1->n28_a_factbook_1_2010__1_4 n28_a_factbook_1_2010__1_5 PUNC n28_a_factbook_1_2010__1->n28_a_factbook_1_2010__1_5 n28_a_factbook_1_2010__1_1_1 N n28_a_factbook_1_2010__1_1->n28_a_factbook_1_2010__1_1_1 n28_a_factbook_1_2010__1_1_1->n28_a_factbook_1_2010__1_1_1_1 n28_a_factbook_1_2010__1_2->n28_a_factbook_1_2010__1_2_1 n28_a_factbook_1_2010__1_3_1 ADV n28_a_factbook_1_2010__1_3->n28_a_factbook_1_2010__1_3_1 n28_a_factbook_1_2010__1_3_1->n28_a_factbook_1_2010__1_3_1_1 n28_a_factbook_1_2010__1_4_1 P-ROLE n28_a_factbook_1_2010__1_4->n28_a_factbook_1_2010__1_4_1 n28_a_factbook_1_2010__1_4_2 NP n28_a_factbook_1_2010__1_4->n28_a_factbook_1_2010__1_4_2 n28_a_factbook_1_2010__1_4_1->n28_a_factbook_1_2010__1_4_1_1 n28_a_factbook_1_2010__1_4_2_1 NLYR n28_a_factbook_1_2010__1_4_2->n28_a_factbook_1_2010__1_4_2_1 n28_a_factbook_1_2010__1_4_2_2 PUNC n28_a_factbook_1_2010__1_4_2->n28_a_factbook_1_2010__1_4_2_2 n28_a_factbook_1_2010__1_4_2_3 IP-REL n28_a_factbook_1_2010__1_4_2->n28_a_factbook_1_2010__1_4_2_3 n28_a_factbook_1_2010__1_4_2_1_1 NLYR n28_a_factbook_1_2010__1_4_2_1->n28_a_factbook_1_2010__1_4_2_1_1 n28_a_factbook_1_2010__1_4_2_1_2 CONJP n28_a_factbook_1_2010__1_4_2_1->n28_a_factbook_1_2010__1_4_2_1_2 n28_a_factbook_1_2010__1_4_2_1_1_1 ADJP n28_a_factbook_1_2010__1_4_2_1_1->n28_a_factbook_1_2010__1_4_2_1_1_1 n28_a_factbook_1_2010__1_4_2_1_1_2 NPR n28_a_factbook_1_2010__1_4_2_1_1->n28_a_factbook_1_2010__1_4_2_1_1_2 n28_a_factbook_1_2010__1_4_2_1_1_3 NPR n28_a_factbook_1_2010__1_4_2_1_1->n28_a_factbook_1_2010__1_4_2_1_1_3 n28_a_factbook_1_2010__1_4_2_1_1_1_1 ADJ n28_a_factbook_1_2010__1_4_2_1_1_1->n28_a_factbook_1_2010__1_4_2_1_1_1_1 n28_a_factbook_1_2010__1_4_2_1_1_1_1->n28_a_factbook_1_2010__1_4_2_1_1_1_1_1 n28_a_factbook_1_2010__1_4_2_1_1_2->n28_a_factbook_1_2010__1_4_2_1_1_2_1 n28_a_factbook_1_2010__1_4_2_1_1_3->n28_a_factbook_1_2010__1_4_2_1_1_3_1 n28_a_factbook_1_2010__1_4_2_1_2_1 CONJ n28_a_factbook_1_2010__1_4_2_1_2->n28_a_factbook_1_2010__1_4_2_1_2_1 n28_a_factbook_1_2010__1_4_2_1_2_2 NLYR n28_a_factbook_1_2010__1_4_2_1_2->n28_a_factbook_1_2010__1_4_2_1_2_2 n28_a_factbook_1_2010__1_4_2_1_2_1->n28_a_factbook_1_2010__1_4_2_1_2_1_1 n28_a_factbook_1_2010__1_4_2_1_2_2_1 NPR n28_a_factbook_1_2010__1_4_2_1_2_2->n28_a_factbook_1_2010__1_4_2_1_2_2_1 n28_a_factbook_1_2010__1_4_2_1_2_2_2 NPR n28_a_factbook_1_2010__1_4_2_1_2_2->n28_a_factbook_1_2010__1_4_2_1_2_2_2 n28_a_factbook_1_2010__1_4_2_1_2_2_1->n28_a_factbook_1_2010__1_4_2_1_2_2_1_1 n28_a_factbook_1_2010__1_4_2_1_2_2_2->n28_a_factbook_1_2010__1_4_2_1_2_2_2_1 n28_a_factbook_1_2010__1_4_2_2->n28_a_factbook_1_2010__1_4_2_2_1 n28_a_factbook_1_2010__1_4_2_3_1 ADVP-NIM n28_a_factbook_1_2010__1_4_2_3->n28_a_factbook_1_2010__1_4_2_3_1 n28_a_factbook_1_2010__1_4_2_3_2 NP-SBJ n28_a_factbook_1_2010__1_4_2_3->n28_a_factbook_1_2010__1_4_2_3_2 n28_a_factbook_1_2010__1_4_2_3_3 BEP;_cat_VePASS_ n28_a_factbook_1_2010__1_4_2_3->n28_a_factbook_1_2010__1_4_2_3_3 n28_a_factbook_1_2010__1_4_2_3_4 IP-PPL-CAT n28_a_factbook_1_2010__1_4_2_3->n28_a_factbook_1_2010__1_4_2_3_4 n28_a_factbook_1_2010__1_4_2_3_1_1 RADV n28_a_factbook_1_2010__1_4_2_3_1->n28_a_factbook_1_2010__1_4_2_3_1_1 n28_a_factbook_1_2010__1_4_2_3_1_1->n28_a_factbook_1_2010__1_4_2_3_1_1_1 n28_a_factbook_1_2010__1_4_2_3_2_1 Q n28_a_factbook_1_2010__1_4_2_3_2->n28_a_factbook_1_2010__1_4_2_3_2_1 n28_a_factbook_1_2010__1_4_2_3_2_2 NS n28_a_factbook_1_2010__1_4_2_3_2->n28_a_factbook_1_2010__1_4_2_3_2_2 n28_a_factbook_1_2010__1_4_2_3_2_1->n28_a_factbook_1_2010__1_4_2_3_2_1_1 n28_a_factbook_1_2010__1_4_2_3_2_2->n28_a_factbook_1_2010__1_4_2_3_2_2_1 n28_a_factbook_1_2010__1_4_2_3_3->n28_a_factbook_1_2010__1_4_2_3_3_1 n28_a_factbook_1_2010__1_4_2_3_4_1 NP-LGS n28_a_factbook_1_2010__1_4_2_3_4->n28_a_factbook_1_2010__1_4_2_3_4_1 n28_a_factbook_1_2010__1_4_2_3_4_2 VVN;_Tn_ n28_a_factbook_1_2010__1_4_2_3_4->n28_a_factbook_1_2010__1_4_2_3_4_2 n28_a_factbook_1_2010__1_4_2_3_4_1->n28_a_factbook_1_2010__1_4_2_3_4_1_1 n28_a_factbook_1_2010__1_4_2_3_4_2->n28_a_factbook_1_2010__1_4_2_3_4_2_1 n28_a_factbook_1_2010__1_5->n28_a_factbook_1_2010__1_5_1 
( (IP-MAT (NP-SBJ (N _*_))
          (VBP;_Ipr_ occurs;{occur[in]})
          (ADVP-NIM (ADV only;{only}))
          (PP-CLR (P-ROLE in;{in})
                  (NP (NLYR (NLYR (ADJP (ADJ tropical;{tropical}))
                                  (NPR South;{South})
                                  (NPR America;{America}))
                            (CONJP (CONJ and;{and})
                                   (NLYR (NPR sub_<hyphen>_Saharan;{sub_Saharan})
                                         (NPR Africa;{Africa}))))
                      (PUNC ,)
                      (IP-REL (ADVP-NIM (RADV where;{where}))
                              (NP-SBJ (Q most;{most})
                                      (NS cases;{case}))
                              (BEP;_cat_VePASS_ are;{be})
                              (IP-PPL-CAT (NP-LGS *)
                                          (VVN;_Tn_ reported;{report})))))
          (PUNC ;))
  (ID 28_a_factbook_1_2010))