5_a_factbook_1_2010
The diseases listed do not necessarily represent the total disease burden experienced by the local population.

%3 r_0005_0003__listed listed r_0005_0001__The_r_0005_0002__diseases The diseases r_0005_0003__listed->r_0005_0001__The_r_0005_0002__diseases [arg1] z_000_5_a_factbook_1_2010_8 r_0005_0003__listed->z_000_5_a_factbook_1_2010_8 [arg0] r_0005_0004__do_r_0005_0007__represent do represent r_0005_0004__do_r_0005_0007__represent->r_0005_0001__The_r_0005_0002__diseases [arg0] r_0005_0006__necessarily necessarily r_0005_0004__do_r_0005_0007__represent->r_0005_0006__necessarily [nim] r_0005_0008__the_r_0005_0010__disease_r_0005_0011__burden the disease burden r_0005_0004__do_r_0005_0007__represent->r_0005_0008__the_r_0005_0010__disease_r_0005_0011__burden [arg1] r_0005_0009__total total r_0005_0008__the_r_0005_0010__disease_r_0005_0011__burden->r_0005_0009__total [attrib] r_0005_0005__not not r_0005_0005__not->r_0005_0004__do_r_0005_0007__represent [keep_scope] r_0005_0012__experienced experienced r_0005_0012__experienced->r_0005_0008__the_r_0005_0010__disease_r_0005_0011__burden [arg1] r_0005_0014__the_r_0005_0016__population the population r_0005_0012__experienced->r_0005_0014__the_r_0005_0016__population [arg0] r_0005_0015__local local r_0005_0014__the_r_0005_0016__population->r_0005_0015__local [attrib]
arc(r_0005_0003__listed, r_0005_0001__The_r_0005_0002__diseases, arg1).
arc(r_0005_0003__listed, z_000_5_a_factbook_1_2010_8, arg0).
arc(r_0005_0004__do_r_0005_0007__represent, r_0005_0001__The_r_0005_0002__diseases, arg0).
arc(r_0005_0004__do_r_0005_0007__represent, r_0005_0006__necessarily, nim16).
arc(r_0005_0004__do_r_0005_0007__represent, r_0005_0008__the_r_0005_0010__disease_r_0005_0011__burden, arg1).
arc(r_0005_0005__not, r_0005_0004__do_r_0005_0007__represent, keep_scope).
arc(r_0005_0008__the_r_0005_0010__disease_r_0005_0011__burden, r_0005_0009__total, attrib24).
arc(r_0005_0012__experienced, r_0005_0008__the_r_0005_0010__disease_r_0005_0011__burden, arg1).
arc(r_0005_0012__experienced, r_0005_0014__the_r_0005_0016__population, arg0).
arc(r_0005_0014__the_r_0005_0016__population, r_0005_0015__local, attrib40).



%3 r_0005_0003__listed listed r_0005_0001__The_r_0005_0002__diseases The diseases r_0005_0003__listed->r_0005_0001__The_r_0005_0002__diseases [arg1] z_000_5_a_factbook_1_2010_8 r_0005_0003__listed->z_000_5_a_factbook_1_2010_8 [arg0] r_0005_0004__do_r_0005_0007__represent do represent r_0005_0004__do_r_0005_0007__represent->r_0005_0001__The_r_0005_0002__diseases [arg0] r_0005_0006__necessarily necessarily r_0005_0004__do_r_0005_0007__represent->r_0005_0006__necessarily [nim] r_0005_0008__the_r_0005_0010__disease_r_0005_0011__burden the disease burden r_0005_0004__do_r_0005_0007__represent->r_0005_0008__the_r_0005_0010__disease_r_0005_0011__burden [arg1] r_0005_0009__total total r_0005_0008__the_r_0005_0010__disease_r_0005_0011__burden->r_0005_0009__total [attrib] r_0005_0005__not not r_0005_0005__not->r_0005_0004__do_r_0005_0007__represent [keep_scope] r_0005_0012__experienced experienced r_0005_0012__experienced->r_0005_0008__the_r_0005_0010__disease_r_0005_0011__burden [arg1] r_0005_0014__the_r_0005_0016__population the population r_0005_0012__experienced->r_0005_0014__the_r_0005_0016__population [arg0] r_0005_0015__local local r_0005_0014__the_r_0005_0016__population->r_0005_0015__local [attrib]
fof(formula,axiom,
    ? [R_5_3_LISTED,Z_5_A_FACTBOOK_1_2010_8,R_5_1_THE_DISEASES,R_5_12_EXPERIENCED,R_5_14_THE_POPULATION,R_5_15_LOCAL,R_5_8_THE_DISEASE_BURDEN,R_5_9_TOTAL] :
      ( the_diseases(R_5_1_THE_DISEASES)
      & local(R_5_15_LOCAL)
      & total(R_5_9_TOTAL)
      & listed(R_5_3_LISTED,Z_5_A_FACTBOOK_1_2010_8,R_5_1_THE_DISEASES)
      & ~ ? [R_5_4_DO_REPRESENT,R_5_6_NECESSARILY] :
            ( necessarily(R_5_6_NECESSARILY)
            & do_represent(R_5_4_DO_REPRESENT,R_5_1_THE_DISEASES,R_5_8_THE_DISEASE_BURDEN)
            & nim16(R_5_4_DO_REPRESENT,R_5_6_NECESSARILY) )
      & experienced(R_5_12_EXPERIENCED,R_5_14_THE_POPULATION,R_5_8_THE_DISEASE_BURDEN)
      & the_population(R_5_14_THE_POPULATION)
      & attrib40(R_5_14_THE_POPULATION,R_5_15_LOCAL)
      & the_disease_burden(R_5_8_THE_DISEASE_BURDEN)
      & attrib24(R_5_8_THE_DISEASE_BURDEN,R_5_9_TOTAL) ) ).



n5_a_factbook_1_2010 n5_a_factbook_1_2010_4 The n5_a_factbook_1_2010_6 diseases n5_a_factbook_1_2010_9 * n5_a_factbook_1_2010_11 listed n5_a_factbook_1_2010_13 do n5_a_factbook_1_2010_15 not n5_a_factbook_1_2010_18 necessarily n5_a_factbook_1_2010_20 represent n5_a_factbook_1_2010_23 the n5_a_factbook_1_2010_26 total n5_a_factbook_1_2010_28 disease n5_a_factbook_1_2010_30 burden n5_a_factbook_1_2010_33 experienced n5_a_factbook_1_2010_36 by n5_a_factbook_1_2010_39 the n5_a_factbook_1_2010_42 local n5_a_factbook_1_2010_44 population n5_a_factbook_1_2010_46 . n5_a_factbook_1_2010_1 IP-MAT n5_a_factbook_1_2010_2 NP-SBJ n5_a_factbook_1_2010_1->n5_a_factbook_1_2010_2 n5_a_factbook_1_2010_12 DOP n5_a_factbook_1_2010_1->n5_a_factbook_1_2010_12 n5_a_factbook_1_2010_14 NEG n5_a_factbook_1_2010_1->n5_a_factbook_1_2010_14 n5_a_factbook_1_2010_16 ADVP-NIM n5_a_factbook_1_2010_1->n5_a_factbook_1_2010_16 n5_a_factbook_1_2010_19 VB;_Tn_ n5_a_factbook_1_2010_1->n5_a_factbook_1_2010_19 n5_a_factbook_1_2010_21 NP-OB1 n5_a_factbook_1_2010_1->n5_a_factbook_1_2010_21 n5_a_factbook_1_2010_45 PUNC n5_a_factbook_1_2010_1->n5_a_factbook_1_2010_45 n5_a_factbook_1_2010_3 D n5_a_factbook_1_2010_2->n5_a_factbook_1_2010_3 n5_a_factbook_1_2010_5 NS n5_a_factbook_1_2010_2->n5_a_factbook_1_2010_5 n5_a_factbook_1_2010_7 IP-PPL n5_a_factbook_1_2010_2->n5_a_factbook_1_2010_7 n5_a_factbook_1_2010_3->n5_a_factbook_1_2010_4 n5_a_factbook_1_2010_5->n5_a_factbook_1_2010_6 n5_a_factbook_1_2010_8 NP-LGS n5_a_factbook_1_2010_7->n5_a_factbook_1_2010_8 n5_a_factbook_1_2010_10 VVN;_Tn_ n5_a_factbook_1_2010_7->n5_a_factbook_1_2010_10 n5_a_factbook_1_2010_8->n5_a_factbook_1_2010_9 n5_a_factbook_1_2010_10->n5_a_factbook_1_2010_11 n5_a_factbook_1_2010_12->n5_a_factbook_1_2010_13 n5_a_factbook_1_2010_14->n5_a_factbook_1_2010_15 n5_a_factbook_1_2010_17 ADV n5_a_factbook_1_2010_16->n5_a_factbook_1_2010_17 n5_a_factbook_1_2010_17->n5_a_factbook_1_2010_18 n5_a_factbook_1_2010_19->n5_a_factbook_1_2010_20 n5_a_factbook_1_2010_22 D n5_a_factbook_1_2010_21->n5_a_factbook_1_2010_22 n5_a_factbook_1_2010_24 ADJP n5_a_factbook_1_2010_21->n5_a_factbook_1_2010_24 n5_a_factbook_1_2010_27 N n5_a_factbook_1_2010_21->n5_a_factbook_1_2010_27 n5_a_factbook_1_2010_29 N n5_a_factbook_1_2010_21->n5_a_factbook_1_2010_29 n5_a_factbook_1_2010_31 IP-PPL n5_a_factbook_1_2010_21->n5_a_factbook_1_2010_31 n5_a_factbook_1_2010_22->n5_a_factbook_1_2010_23 n5_a_factbook_1_2010_25 ADJ n5_a_factbook_1_2010_24->n5_a_factbook_1_2010_25 n5_a_factbook_1_2010_25->n5_a_factbook_1_2010_26 n5_a_factbook_1_2010_27->n5_a_factbook_1_2010_28 n5_a_factbook_1_2010_29->n5_a_factbook_1_2010_30 n5_a_factbook_1_2010_32 VVN;_Tn_ n5_a_factbook_1_2010_31->n5_a_factbook_1_2010_32 n5_a_factbook_1_2010_34 PP-LGS n5_a_factbook_1_2010_31->n5_a_factbook_1_2010_34 n5_a_factbook_1_2010_32->n5_a_factbook_1_2010_33 n5_a_factbook_1_2010_35 P-ROLE;_lgs_ n5_a_factbook_1_2010_34->n5_a_factbook_1_2010_35 n5_a_factbook_1_2010_37 NP n5_a_factbook_1_2010_34->n5_a_factbook_1_2010_37 n5_a_factbook_1_2010_35->n5_a_factbook_1_2010_36 n5_a_factbook_1_2010_38 D n5_a_factbook_1_2010_37->n5_a_factbook_1_2010_38 n5_a_factbook_1_2010_40 ADJP n5_a_factbook_1_2010_37->n5_a_factbook_1_2010_40 n5_a_factbook_1_2010_43 N n5_a_factbook_1_2010_37->n5_a_factbook_1_2010_43 n5_a_factbook_1_2010_38->n5_a_factbook_1_2010_39 n5_a_factbook_1_2010_41 ADJ n5_a_factbook_1_2010_40->n5_a_factbook_1_2010_41 n5_a_factbook_1_2010_41->n5_a_factbook_1_2010_42 n5_a_factbook_1_2010_43->n5_a_factbook_1_2010_44 n5_a_factbook_1_2010_45->n5_a_factbook_1_2010_46
( (IP-MAT (NP-SBJ;{LISTED_DISEASES} (D The;{the})
                                    (NS diseases;{disease})
                                    (IP-PPL (NP-LGS *)
                                            (VVN;_Tn_ listed;{list})))
          (DOP do;{do})
          (NEG not;{not})
          (ADVP-NIM (ADV necessarily;{necessarily}))
          (VB;_Tn_ represent;{represent})
          (NP-OB1 (D the;{the})
                  (ADJP (ADJ total;{total}))
                  (N disease;{disease})
                  (N burden;{burden})
                  (IP-PPL (VVN;_Tn_ experienced;{experience})
                          (PP-LGS (P-ROLE;_lgs_ by;{by})
                                  (NP (D the;{the})
                                      (ADJP (ADJ local;{local}))
                                      (N population;{population})))))
          (PUNC .))
  (ID 5_a_factbook_1_2010))