TSPC 28_a_factbook_1

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

( (IP-MAT (VBP;_I_ occurs;{occur})
          (ADVP-NIM (ADV only;{only}))
          (PP-NIM (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))

arc(r_0028_0001__occurs,r_0028_0002__only,nim).
arc(r_0028_0001__occurs,r_0028_0007__and,r_0028_0003__in__nim).
arc(r_0028_0001__occurs,z_0028_5002,arg0).
arc(r_0028_0005__South_r_0028_0006__America,r_0028_0004__tropical,attrib).
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,nim).
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_0028_5007___star_,arg0).

fof(formula,axiom,
    ? [R_0028_0002__ONLY,R_0028_0004__TROPICAL,R_0028_0005__SOUTH_R_0028_0006__AMERICA,R_0028_0008__SUB__HYPHEN__SAHARAN_R_0028_0009__AFRICA,R_0028_0007__AND,Z_0028_5002,R_0028_0001__OCCURS] :
      ( r_0028_0002__only(R_0028_0002__ONLY)
      & r_0028_0004__tropical(R_0028_0004__TROPICAL)
      & r_0028_0008__sub__hyphen__Saharan_r_0028_0009__Africa(R_0028_0008__SUB__HYPHEN__SAHARAN_R_0028_0009__AFRICA)
      & z_0028_5002(Z_0028_5002)
      & ! [R_0028_0013__CASES] :
          ( r_0028_0013__cases(R_0028_0013__CASES)
         => ? [Z_0028_5007___STAR_,R_0028_0014__ARE_R_0028_0015__REPORTED] :
              ( z_0028_5007___star_(Z_0028_5007___STAR_)
              & r_0028_0014__are_r_0028_0015__reported(R_0028_0014__ARE_R_0028_0015__REPORTED)
              & has_arg0(R_0028_0014__ARE_R_0028_0015__REPORTED,Z_0028_5007___STAR_)
              & has_arg1(R_0028_0014__ARE_R_0028_0015__REPORTED,R_0028_0013__CASES)
              & has_nim(R_0028_0014__ARE_R_0028_0015__REPORTED,R_0028_0007__AND) ) )
      & r_0028_0001__occurs(R_0028_0001__OCCURS)
      & has_arg0(R_0028_0001__OCCURS,Z_0028_5002)
      & has_r_0028_0003__in__nim(R_0028_0001__OCCURS,R_0028_0007__AND)
      & r_0028_0007__and(R_0028_0007__AND)
      & has_conj2(R_0028_0007__AND,R_0028_0008__SUB__HYPHEN__SAHARAN_R_0028_0009__AFRICA)
      & has_conj1(R_0028_0007__AND,R_0028_0005__SOUTH_R_0028_0006__AMERICA)
      & r_0028_0005__South_r_0028_0006__America(R_0028_0005__SOUTH_R_0028_0006__AMERICA)
      & has_attrib(R_0028_0005__SOUTH_R_0028_0006__AMERICA,R_0028_0004__TROPICAL)
      & has_nim(R_0028_0001__OCCURS,R_0028_0002__ONLY) ) ).