30_a_factbook_1_2010
Japanese Encephalitis - mosquito - borne (Culex tritaeniorhynchus) viral disease associated with rural areas in Asia;
( (FRAG (NP (ADJP (ADJ Japanese;{Japanese}))
(NPR Encephalitis;{Encephalitis})
(PUNC <hyphen>)
(PRN (NP (IP-PPL (NP-LGS (N mosquito;{mosquito})
(PRN *ICH*-132))
(PUNC <hyphen>)
(VVN;_Tn_ borne;{bear}))
(PULB -LRB-)
(PRN-EPD-132 (NP (NPR Culex;{Culex})
(NPR tritaeniorhynchus;{tritaeniorhynchus})))
(PURB -RRB-)
(ADJP (ADJ viral;{viral}))
(N disease;{disease})
(IP-PPL (NP-LGS *)
(VVN;_Tn.pr_ associated;{associate[with]})
(PP-CLR (P-ROLE with;{with})
(NP (ADJP (ADJ rural;{rural}))
(NS areas;{area})
(PP (P-ROLE in;{in})
(NP (NPR Asia;{Asia})))))))))
(PUNC ;))
(ID 30_a_factbook_1_2010))
arc(r_0030_0002__Encephalitis,r_0030_0001__Japanese,attrib).
arc(r_0030_0006__borne,r_0030_0004__mosquito,arg0).
arc(r_0030_0006__borne,r_0030_0012__disease,inv_arg1).
arc(r_0030_0012__disease,r_0030_0011__viral,attrib).
arc(r_0030_0013__associated_r_0030_0014__with,r_0030_0012__disease,inv_arg1).
arc(r_0030_0013__associated_r_0030_0014__with,r_0030_0016__areas,arg2).
arc(r_0030_0013__associated_r_0030_0014__with,z_0030_5012___star_,arg0).
arc(r_0030_0016__areas,r_0030_0015__rural,attrib).
arc(r_0030_0016__areas,r_0030_0018__Asia,r_0030_0017__in).
arc(z_0030_5006,r_0030_0004__mosquito,arg0).
arc(z_0030_5006,r_0030_0008__Culex_r_0030_0009__tritaeniorhynchus,prd).
arc(z_0030_5014,r_0030_0002__Encephalitis,arg0).
arc(z_0030_5014,r_0030_0012__disease,prd).
arc(z_0030_5016,r_0030_0002__Encephalitis,z_0030_5002).
fof(formula,axiom,
? [R_0030_0004__MOSQUITO,R_0030_0008__CULEX_R_0030_0009__TRITAENIORHYNCHUS,Z_0030_5006,R_0030_0001__JAPANESE,R_0030_0002__ENCEPHALITIS,R_0030_0006__BORNE,R_0030_0011__VIRAL,R_0030_0015__RURAL,R_0030_0018__ASIA,R_0030_0016__AREAS,Z_0030_5012___STAR_,R_0030_0013__ASSOCIATED_R_0030_0014__WITH,R_0030_0012__DISEASE,Z_0030_5014,Z_0030_5016] :
( r_0030_0001__Japanese(R_0030_0001__JAPANESE)
& r_0030_0004__mosquito(R_0030_0004__MOSQUITO)
& r_0030_0008__Culex_r_0030_0009__tritaeniorhynchus(R_0030_0008__CULEX_R_0030_0009__TRITAENIORHYNCHUS)
& r_0030_0011__viral(R_0030_0011__VIRAL)
& r_0030_0015__rural(R_0030_0015__RURAL)
& r_0030_0018__Asia(R_0030_0018__ASIA)
& z_0030_5012___star_(Z_0030_5012___STAR_)
& z_0030_5016(Z_0030_5016)
& has_z_0030_5002(Z_0030_5016,R_0030_0002__ENCEPHALITIS)
& r_0030_0002__Encephalitis(R_0030_0002__ENCEPHALITIS)
& has_attrib(R_0030_0002__ENCEPHALITIS,R_0030_0001__JAPANESE)
& z_0030_5014(Z_0030_5014)
& has_prd(Z_0030_5014,R_0030_0012__DISEASE)
& r_0030_0012__disease(R_0030_0012__DISEASE)
& has_inv_arg1(R_0030_0012__DISEASE,R_0030_0013__ASSOCIATED_R_0030_0014__WITH)
& r_0030_0013__associated_r_0030_0014__with(R_0030_0013__ASSOCIATED_R_0030_0014__WITH)
& has_arg0(R_0030_0013__ASSOCIATED_R_0030_0014__WITH,Z_0030_5012___STAR_)
& has_arg2(R_0030_0013__ASSOCIATED_R_0030_0014__WITH,R_0030_0016__AREAS)
& r_0030_0016__areas(R_0030_0016__AREAS)
& has_r_0030_0017__in(R_0030_0016__AREAS,R_0030_0018__ASIA)
& has_attrib(R_0030_0016__AREAS,R_0030_0015__RURAL)
& has_attrib(R_0030_0012__DISEASE,R_0030_0011__VIRAL)
& has_inv_arg1(R_0030_0012__DISEASE,R_0030_0006__BORNE)
& r_0030_0006__borne(R_0030_0006__BORNE)
& has_arg0(R_0030_0006__BORNE,R_0030_0004__MOSQUITO)
& has_arg0(Z_0030_5014,R_0030_0002__ENCEPHALITIS)
& z_0030_5006(Z_0030_5006)
& has_prd(Z_0030_5006,R_0030_0008__CULEX_R_0030_0009__TRITAENIORHYNCHUS)
& has_arg0(Z_0030_5006,R_0030_0004__MOSQUITO) ) ).