5_a_factbook_1_2010
The diseases listed do not necessarily represent the total disease burden experienced by the local population.
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).
fof(formula,axiom,
? [R_0005_0001__THE_R_0005_0002__DISEASES,Z_000_5_A_FACTBOOK_1_2010_8,R_0005_0003__LISTED,R_0005_0009__TOTAL,R_0005_0008__THE_R_0005_0010__DISEASE_R_0005_0011__BURDEN,R_0005_0015__LOCAL,R_0005_0014__THE_R_0005_0016__POPULATION,R_0005_0012__EXPERIENCED] :
( r_0005_0001__The_r_0005_0002__diseases(R_0005_0001__THE_R_0005_0002__DISEASES)
& r_0005_0009__total(R_0005_0009__TOTAL)
& r_0005_0015__local(R_0005_0015__LOCAL)
& z_000_5_a_factbook_1_2010_8(Z_000_5_A_FACTBOOK_1_2010_8)
& r_0005_0012__experienced(R_0005_0012__EXPERIENCED)
& has_arg0(R_0005_0012__EXPERIENCED,R_0005_0014__THE_R_0005_0016__POPULATION)
& r_0005_0014__the_r_0005_0016__population(R_0005_0014__THE_R_0005_0016__POPULATION)
& has_attrib40(R_0005_0014__THE_R_0005_0016__POPULATION,R_0005_0015__LOCAL)
& has_arg1(R_0005_0012__EXPERIENCED,R_0005_0008__THE_R_0005_0010__DISEASE_R_0005_0011__BURDEN)
& r_0005_0008__the_r_0005_0010__disease_r_0005_0011__burden(R_0005_0008__THE_R_0005_0010__DISEASE_R_0005_0011__BURDEN)
& has_attrib24(R_0005_0008__THE_R_0005_0010__DISEASE_R_0005_0011__BURDEN,R_0005_0009__TOTAL)
& ~ ? [R_0005_0006__NECESSARILY,R_0005_0004__DO_R_0005_0007__REPRESENT] :
( r_0005_0006__necessarily(R_0005_0006__NECESSARILY)
& r_0005_0004__do_r_0005_0007__represent(R_0005_0004__DO_R_0005_0007__REPRESENT)
& has_arg1(R_0005_0004__DO_R_0005_0007__REPRESENT,R_0005_0008__THE_R_0005_0010__DISEASE_R_0005_0011__BURDEN)
& has_nim16(R_0005_0004__DO_R_0005_0007__REPRESENT,R_0005_0006__NECESSARILY)
& has_arg0(R_0005_0004__DO_R_0005_0007__REPRESENT,R_0005_0001__THE_R_0005_0002__DISEASES) )
& r_0005_0003__listed(R_0005_0003__LISTED)
& has_arg0(R_0005_0003__LISTED,Z_000_5_A_FACTBOOK_1_2010_8)
& has_arg1(R_0005_0003__LISTED,R_0005_0001__THE_R_0005_0002__DISEASES) ) ).
( (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))