45_a_factbook_1_2010
Crimean-Congo hemorrhagic fever - tick - borne viral disease;
( (FRAG (NP (NPR Crimean_<hyphen>_Congo;{Crimean_Congo})
(NPR hemorrhagic;{hemorrhagic})
(NPR fever;{fever})
(PUNC <hyphen>)
(PRN (NP (IP-PPL (NP-LGS (N tick;{tick}))
(PUNC <hyphen>)
(VVN;_Tn_ borne;{bear}))
(ADJP (ADJ viral;{viral}))
(N disease;{disease}))))
(PUNC ;))
(ID 45_a_factbook_1_2010))
arc(r_0045_0007__borne,r_0045_0005__tick,arg0).
arc(r_0045_0007__borne,r_0045_0009__disease,inv_arg1).
arc(r_0045_0009__disease,r_0045_0008__viral,attrib).
arc(z_0045_5007,r_0045_0001__Crimean__hyphen__Congo_r_0045_0002__hemorrhagic_r_0045_0003__fever,arg0).
arc(z_0045_5007,r_0045_0009__disease,prd).
arc(z_0045_5009,r_0045_0001__Crimean__hyphen__Congo_r_0045_0002__hemorrhagic_r_0045_0003__fever,z_0045_5002).
fof(formula,axiom,
? [R_0045_0001__CRIMEAN__HYPHEN__CONGO_R_0045_0002__HEMORRHAGIC_R_0045_0003__FEVER,R_0045_0005__TICK,R_0045_0007__BORNE,R_0045_0008__VIRAL,R_0045_0009__DISEASE,Z_0045_5007,Z_0045_5009] :
( r_0045_0001__Crimean__hyphen__Congo_r_0045_0002__hemorrhagic_r_0045_0003__fever(R_0045_0001__CRIMEAN__HYPHEN__CONGO_R_0045_0002__HEMORRHAGIC_R_0045_0003__FEVER)
& r_0045_0005__tick(R_0045_0005__TICK)
& r_0045_0008__viral(R_0045_0008__VIRAL)
& z_0045_5009(Z_0045_5009)
& has_z_0045_5002(Z_0045_5009,R_0045_0001__CRIMEAN__HYPHEN__CONGO_R_0045_0002__HEMORRHAGIC_R_0045_0003__FEVER)
& z_0045_5007(Z_0045_5007)
& has_prd(Z_0045_5007,R_0045_0009__DISEASE)
& r_0045_0009__disease(R_0045_0009__DISEASE)
& has_attrib(R_0045_0009__DISEASE,R_0045_0008__VIRAL)
& has_inv_arg1(R_0045_0009__DISEASE,R_0045_0007__BORNE)
& r_0045_0007__borne(R_0045_0007__BORNE)
& has_arg0(R_0045_0007__BORNE,R_0045_0005__TICK)
& has_arg0(Z_0045_5007,R_0045_0001__CRIMEAN__HYPHEN__CONGO_R_0045_0002__HEMORRHAGIC_R_0045_0003__FEVER) ) ).