26_a_factbook_1_2010
Yellow fever - mosquito - borne viral disease;
( (FRAG (NP (NPR Yellow;{Yellow})
(NPR fever;{fever})
(PUNC <hyphen>)
(PRN (NP (IP-PPL (NP-LGS (N mosquito;{mosquito}))
(PUNC <hyphen>)
(VVN;_Tn_ borne;{bear}))
(ADJP (ADJ viral;{viral}))
(N disease;{disease}))))
(PUNC ;))
(ID 26_a_factbook_1_2010))
arc(r_0026_0006__borne,r_0026_0004__mosquito,arg0).
arc(r_0026_0006__borne,r_0026_0008__disease,inv_arg1).
arc(r_0026_0008__disease,r_0026_0007__viral,attrib).
arc(z_0026_5007,r_0026_0001__Yellow_r_0026_0002__fever,arg0).
arc(z_0026_5007,r_0026_0008__disease,prd).
arc(z_0026_5009,r_0026_0001__Yellow_r_0026_0002__fever,z_0026_5002).
fof(formula,axiom,
? [R_0026_0001__YELLOW_R_0026_0002__FEVER,R_0026_0004__MOSQUITO,R_0026_0006__BORNE,R_0026_0007__VIRAL,R_0026_0008__DISEASE,Z_0026_5007,Z_0026_5009] :
( r_0026_0001__Yellow_r_0026_0002__fever(R_0026_0001__YELLOW_R_0026_0002__FEVER)
& r_0026_0004__mosquito(R_0026_0004__MOSQUITO)
& r_0026_0007__viral(R_0026_0007__VIRAL)
& z_0026_5009(Z_0026_5009)
& has_z_0026_5002(Z_0026_5009,R_0026_0001__YELLOW_R_0026_0002__FEVER)
& z_0026_5007(Z_0026_5007)
& has_prd(Z_0026_5007,R_0026_0008__DISEASE)
& r_0026_0008__disease(R_0026_0008__DISEASE)
& has_attrib(R_0026_0008__DISEASE,R_0026_0007__VIRAL)
& has_inv_arg1(R_0026_0008__DISEASE,R_0026_0006__BORNE)
& r_0026_0006__borne(R_0026_0006__BORNE)
& has_arg0(R_0026_0006__BORNE,R_0026_0004__MOSQUITO)
& has_arg0(Z_0026_5007,R_0026_0001__YELLOW_R_0026_0002__FEVER) ) ).