Context                Previous, Next                Top


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_0014__the_r_0005_0016__population the population r_0005_0015__local local r_0005_0014__the_r_0005_0016__population->r_0005_0015__local [attrib] r_0005_0012__experienced experienced r_0005_0012__experienced->r_0005_0014__the_r_0005_0016__population [arg0] r_0005_0008__the_r_0005_0010__disease_r_0005_0011__burden the disease burden r_0005_0012__experienced->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_0004__do_r_0005_0007__represent do represent r_0005_0005__not->r_0005_0004__do_r_0005_0007__represent [keep_scope] r_0005_0004__do_r_0005_0007__represent->r_0005_0008__the_r_0005_0010__disease_r_0005_0011__burden [arg1] r_0005_0006__necessarily necessarily r_0005_0004__do_r_0005_0007__represent->r_0005_0006__necessarily [nim] r_0005_0001__The_r_0005_0002__diseases The diseases r_0005_0004__do_r_0005_0007__represent->r_0005_0001__The_r_0005_0002__diseases [arg0] r_0005_0003__listed listed 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] 
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__1_1_1_1 The n5_a_factbook_1_2010__1_1_2_1 diseases n5_a_factbook_1_2010__1_1_3_1_1 * n5_a_factbook_1_2010__1_1_3_2_1 listed n5_a_factbook_1_2010__1_2_1 do n5_a_factbook_1_2010__1_3_1 not n5_a_factbook_1_2010__1_4_1_1 necessarily n5_a_factbook_1_2010__1_5_1 represent n5_a_factbook_1_2010__1_6_1_1 the n5_a_factbook_1_2010__1_6_2_1_1 total n5_a_factbook_1_2010__1_6_3_1 disease n5_a_factbook_1_2010__1_6_4_1 burden n5_a_factbook_1_2010__1_6_5_1_1 experienced n5_a_factbook_1_2010__1_6_5_2_1_1 by n5_a_factbook_1_2010__1_6_5_2_2_1_1 the n5_a_factbook_1_2010__1_6_5_2_2_2_1_1 local n5_a_factbook_1_2010__1_6_5_2_2_3_1 population n5_a_factbook_1_2010__1_7_1 . n5_a_factbook_1_2010__1 IP-MAT n5_a_factbook_1_2010__1_1 NP-SBJ n5_a_factbook_1_2010__1->n5_a_factbook_1_2010__1_1 n5_a_factbook_1_2010__1_2 DOP n5_a_factbook_1_2010__1->n5_a_factbook_1_2010__1_2 n5_a_factbook_1_2010__1_3 NEG n5_a_factbook_1_2010__1->n5_a_factbook_1_2010__1_3 n5_a_factbook_1_2010__1_4 ADVP-NIM n5_a_factbook_1_2010__1->n5_a_factbook_1_2010__1_4 n5_a_factbook_1_2010__1_5 VB;_Tn_ n5_a_factbook_1_2010__1->n5_a_factbook_1_2010__1_5 n5_a_factbook_1_2010__1_6 NP-OB1 n5_a_factbook_1_2010__1->n5_a_factbook_1_2010__1_6 n5_a_factbook_1_2010__1_7 PUNC n5_a_factbook_1_2010__1->n5_a_factbook_1_2010__1_7 n5_a_factbook_1_2010__1_1_1 D n5_a_factbook_1_2010__1_1->n5_a_factbook_1_2010__1_1_1 n5_a_factbook_1_2010__1_1_2 NS n5_a_factbook_1_2010__1_1->n5_a_factbook_1_2010__1_1_2 n5_a_factbook_1_2010__1_1_3 IP-PPL n5_a_factbook_1_2010__1_1->n5_a_factbook_1_2010__1_1_3 n5_a_factbook_1_2010__1_1_1->n5_a_factbook_1_2010__1_1_1_1 n5_a_factbook_1_2010__1_1_2->n5_a_factbook_1_2010__1_1_2_1 n5_a_factbook_1_2010__1_1_3_1 NP-LGS n5_a_factbook_1_2010__1_1_3->n5_a_factbook_1_2010__1_1_3_1 n5_a_factbook_1_2010__1_1_3_2 VVN;_Tn_ n5_a_factbook_1_2010__1_1_3->n5_a_factbook_1_2010__1_1_3_2 n5_a_factbook_1_2010__1_1_3_1->n5_a_factbook_1_2010__1_1_3_1_1 n5_a_factbook_1_2010__1_1_3_2->n5_a_factbook_1_2010__1_1_3_2_1 n5_a_factbook_1_2010__1_2->n5_a_factbook_1_2010__1_2_1 n5_a_factbook_1_2010__1_3->n5_a_factbook_1_2010__1_3_1 n5_a_factbook_1_2010__1_4_1 ADV n5_a_factbook_1_2010__1_4->n5_a_factbook_1_2010__1_4_1 n5_a_factbook_1_2010__1_4_1->n5_a_factbook_1_2010__1_4_1_1 n5_a_factbook_1_2010__1_5->n5_a_factbook_1_2010__1_5_1 n5_a_factbook_1_2010__1_6_1 D n5_a_factbook_1_2010__1_6->n5_a_factbook_1_2010__1_6_1 n5_a_factbook_1_2010__1_6_2 ADJP n5_a_factbook_1_2010__1_6->n5_a_factbook_1_2010__1_6_2 n5_a_factbook_1_2010__1_6_3 N n5_a_factbook_1_2010__1_6->n5_a_factbook_1_2010__1_6_3 n5_a_factbook_1_2010__1_6_4 N n5_a_factbook_1_2010__1_6->n5_a_factbook_1_2010__1_6_4 n5_a_factbook_1_2010__1_6_5 IP-PPL n5_a_factbook_1_2010__1_6->n5_a_factbook_1_2010__1_6_5 n5_a_factbook_1_2010__1_6_1->n5_a_factbook_1_2010__1_6_1_1 n5_a_factbook_1_2010__1_6_2_1 ADJ n5_a_factbook_1_2010__1_6_2->n5_a_factbook_1_2010__1_6_2_1 n5_a_factbook_1_2010__1_6_2_1->n5_a_factbook_1_2010__1_6_2_1_1 n5_a_factbook_1_2010__1_6_3->n5_a_factbook_1_2010__1_6_3_1 n5_a_factbook_1_2010__1_6_4->n5_a_factbook_1_2010__1_6_4_1 n5_a_factbook_1_2010__1_6_5_1 VVN;_Tn_ n5_a_factbook_1_2010__1_6_5->n5_a_factbook_1_2010__1_6_5_1 n5_a_factbook_1_2010__1_6_5_2 PP-LGS n5_a_factbook_1_2010__1_6_5->n5_a_factbook_1_2010__1_6_5_2 n5_a_factbook_1_2010__1_6_5_1->n5_a_factbook_1_2010__1_6_5_1_1 n5_a_factbook_1_2010__1_6_5_2_1 P-ROLE;_lgs_ n5_a_factbook_1_2010__1_6_5_2->n5_a_factbook_1_2010__1_6_5_2_1 n5_a_factbook_1_2010__1_6_5_2_2 NP n5_a_factbook_1_2010__1_6_5_2->n5_a_factbook_1_2010__1_6_5_2_2 n5_a_factbook_1_2010__1_6_5_2_1->n5_a_factbook_1_2010__1_6_5_2_1_1 n5_a_factbook_1_2010__1_6_5_2_2_1 D n5_a_factbook_1_2010__1_6_5_2_2->n5_a_factbook_1_2010__1_6_5_2_2_1 n5_a_factbook_1_2010__1_6_5_2_2_2 ADJP n5_a_factbook_1_2010__1_6_5_2_2->n5_a_factbook_1_2010__1_6_5_2_2_2 n5_a_factbook_1_2010__1_6_5_2_2_3 N n5_a_factbook_1_2010__1_6_5_2_2->n5_a_factbook_1_2010__1_6_5_2_2_3 n5_a_factbook_1_2010__1_6_5_2_2_1->n5_a_factbook_1_2010__1_6_5_2_2_1_1 n5_a_factbook_1_2010__1_6_5_2_2_2_1 ADJ n5_a_factbook_1_2010__1_6_5_2_2_2->n5_a_factbook_1_2010__1_6_5_2_2_2_1 n5_a_factbook_1_2010__1_6_5_2_2_2_1->n5_a_factbook_1_2010__1_6_5_2_2_2_1_1 n5_a_factbook_1_2010__1_6_5_2_2_3->n5_a_factbook_1_2010__1_6_5_2_2_3_1 n5_a_factbook_1_2010__1_7->n5_a_factbook_1_2010__1_7_1 
( (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))