5_a_factbook_1_2010
The diseases listed do not necessarily represent the total disease burden experienced by the local population.
( (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))
arc(r_0005_0003__listed,r_0005_0001__The_r_0005_0002__diseases,inv_arg1).
arc(r_0005_0003__listed,z_0005_5002___star_,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,nim).
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,attrib).
arc(r_0005_0012__experienced,r_0005_0008__the_r_0005_0010__disease_r_0005_0011__burden,inv_arg1).
arc(r_0005_0012__experienced,r_0005_0014__the_r_0005_0016__population,r_0005_0013__by_arg0).
arc(r_0005_0014__the_r_0005_0016__population,r_0005_0015__local,attrib).
fof(formula,axiom,
~ ? [Z_0005_5002___STAR_,R_0005_0003__LISTED,R_0005_0001__THE_R_0005_0002__DISEASES,R_0005_0006__NECESSARILY,R_0005_0009__TOTAL,R_0005_0015__LOCAL,R_0005_0014__THE_R_0005_0016__POPULATION,R_0005_0012__EXPERIENCED,R_0005_0008__THE_R_0005_0010__DISEASE_R_0005_0011__BURDEN,R_0005_0004__DO_R_0005_0007__REPRESENT] :
( r_0005_0006__necessarily(R_0005_0006__NECESSARILY)
& r_0005_0009__total(R_0005_0009__TOTAL)
& r_0005_0015__local(R_0005_0015__LOCAL)
& z_0005_5002___star_(Z_0005_5002___STAR_)
& 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)
& 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_inv_arg1(R_0005_0008__THE_R_0005_0010__DISEASE_R_0005_0011__BURDEN,R_0005_0012__EXPERIENCED)
& r_0005_0012__experienced(R_0005_0012__EXPERIENCED)
& has_r_0005_0013__by_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_attrib(R_0005_0014__THE_R_0005_0016__POPULATION,R_0005_0015__LOCAL)
& has_attrib(R_0005_0008__THE_R_0005_0010__DISEASE_R_0005_0011__BURDEN,R_0005_0009__TOTAL)
& has_nim(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_0001__The_r_0005_0002__diseases(R_0005_0001__THE_R_0005_0002__DISEASES)
& has_inv_arg1(R_0005_0001__THE_R_0005_0002__DISEASES,R_0005_0003__LISTED)
& r_0005_0003__listed(R_0005_0003__LISTED)
& has_arg0(R_0005_0003__LISTED,Z_0005_5002___STAR_) ) ).