20_a_factbook_1_2010
vectorborne diseases acquired through the bite of an infected arthropod:
arc(r_0020_0002__diseases, r_0020_0001__vectorborne, attrib3).
arc(r_0020_0003__acquired, r_0020_0002__diseases, arg1).
arc(r_0020_0003__acquired, r_0020_0005__the_r_0020_0006__bite, r_0020_0004__through_nim16).
arc(r_0020_0003__acquired, z_000_20_a_factbook_1_2010_9, arg0).
arc(r_0020_0005__the_r_0020_0006__bite, r_0020_0008__an_r_0020_0010__arthropod, r_0020_0007__of).
arc(r_0020_0008__an_r_0020_0010__arthropod, r_0020_0009__infected, attrib27).
arc(z_000_20_a_factbook_1_2010_1, r_0020_0002__diseases, nim2).
fof(formula,axiom,
? [R_0020_0001__VECTORBORNE,R_0020_0002__DISEASES,R_0020_0009__INFECTED,R_0020_0008__AN_R_0020_0010__ARTHROPOD,R_0020_0005__THE_R_0020_0006__BITE,Z_000_20_A_FACTBOOK_1_2010_9,R_0020_0003__ACQUIRED,Z_000_20_A_FACTBOOK_1_2010_1] :
( r_0020_0001__vectorborne(R_0020_0001__VECTORBORNE)
& r_0020_0009__infected(R_0020_0009__INFECTED)
& z_000_20_a_factbook_1_2010_9(Z_000_20_A_FACTBOOK_1_2010_9)
& z_000_20_a_factbook_1_2010_1(Z_000_20_A_FACTBOOK_1_2010_1)
& has_nim2(Z_000_20_A_FACTBOOK_1_2010_1,R_0020_0002__DISEASES)
& r_0020_0002__diseases(R_0020_0002__DISEASES)
& has_attrib3(R_0020_0002__DISEASES,R_0020_0001__VECTORBORNE)
& r_0020_0003__acquired(R_0020_0003__ACQUIRED)
& has_arg0(R_0020_0003__ACQUIRED,Z_000_20_A_FACTBOOK_1_2010_9)
& has_r_0020_0004__through_nim16(R_0020_0003__ACQUIRED,R_0020_0005__THE_R_0020_0006__BITE)
& r_0020_0005__the_r_0020_0006__bite(R_0020_0005__THE_R_0020_0006__BITE)
& has_r_0020_0007__of(R_0020_0005__THE_R_0020_0006__BITE,R_0020_0008__AN_R_0020_0010__ARTHROPOD)
& r_0020_0008__an_r_0020_0010__arthropod(R_0020_0008__AN_R_0020_0010__ARTHROPOD)
& has_attrib27(R_0020_0008__AN_R_0020_0010__ARTHROPOD,R_0020_0009__INFECTED)
& has_arg1(R_0020_0003__ACQUIRED,R_0020_0002__DISEASES) ) ).
( (FRAG (NP (ADJP (ADJ vectorborne;{vectorborne}))
(NS diseases;{disease})
(IP-PPL (NP-LGS *)
(VVN;_Tn_ acquired;{acquire})
(PP-NIM (P-ROLE through;{through})
(NP (D the;{the})
(N bite;{bite})
(PP (P-ROLE of;{of})
(NP (D an;{an})
(ADJP (ADJ infected;{infected}))
(N arthropod;{arthropod})))))))
(PUNC :))
(ID 20_a_factbook_1_2010))