50_a_factbook_1_2010
Rift Valley fever - viral disease affecting domesticated animals and humans;
( (FRAG (NP (NPR Rift;{Rift})
(NPR Valley;{Valley})
(NPR fever;{fever})
(PUNC <hyphen>)
(PRN (NP (ADJP (ADJ viral;{viral}))
(N disease;{disease})
(IP-PPL (VAG;_Tn_ affecting;{affect})
(NP-OB1 (NLYR (NLYR (ADJP (ADJ domesticated;{domesticated}))
(NS animals;{animal}))
(CONJP (CONJ and;{and})
(NLYR (NS humans;{human})))))))))
(PUNC ;))
(ID 50_a_factbook_1_2010))
arc(r_0050_0006__disease,r_0050_0005__viral,attrib).
arc(r_0050_0007__affecting,r_0050_0006__disease,inv_arg0).
arc(r_0050_0007__affecting,r_0050_0010__and,arg1).
arc(r_0050_0009__animals,r_0050_0008__domesticated,attrib).
arc(r_0050_0010__and,r_0050_0009__animals,conj1).
arc(r_0050_0010__and,r_0050_0011__humans,conj2).
arc(z_0050_5010,r_0050_0001__Rift_r_0050_0002__Valley_r_0050_0003__fever,arg0).
arc(z_0050_5010,r_0050_0006__disease,prd).
arc(z_0050_5012,r_0050_0001__Rift_r_0050_0002__Valley_r_0050_0003__fever,z_0050_5002).
fof(formula,axiom,
? [R_0050_0001__RIFT_R_0050_0002__VALLEY_R_0050_0003__FEVER,R_0050_0005__VIRAL,R_0050_0008__DOMESTICATED,R_0050_0009__ANIMALS,R_0050_0011__HUMANS,R_0050_0010__AND,R_0050_0007__AFFECTING,R_0050_0006__DISEASE,Z_0050_5010,Z_0050_5012] :
( r_0050_0001__Rift_r_0050_0002__Valley_r_0050_0003__fever(R_0050_0001__RIFT_R_0050_0002__VALLEY_R_0050_0003__FEVER)
& r_0050_0005__viral(R_0050_0005__VIRAL)
& r_0050_0008__domesticated(R_0050_0008__DOMESTICATED)
& r_0050_0011__humans(R_0050_0011__HUMANS)
& z_0050_5012(Z_0050_5012)
& has_z_0050_5002(Z_0050_5012,R_0050_0001__RIFT_R_0050_0002__VALLEY_R_0050_0003__FEVER)
& z_0050_5010(Z_0050_5010)
& has_prd(Z_0050_5010,R_0050_0006__DISEASE)
& r_0050_0006__disease(R_0050_0006__DISEASE)
& has_inv_arg0(R_0050_0006__DISEASE,R_0050_0007__AFFECTING)
& r_0050_0007__affecting(R_0050_0007__AFFECTING)
& has_arg1(R_0050_0007__AFFECTING,R_0050_0010__AND)
& r_0050_0010__and(R_0050_0010__AND)
& has_conj2(R_0050_0010__AND,R_0050_0011__HUMANS)
& has_conj1(R_0050_0010__AND,R_0050_0009__ANIMALS)
& r_0050_0009__animals(R_0050_0009__ANIMALS)
& has_attrib(R_0050_0009__ANIMALS,R_0050_0008__DOMESTICATED)
& has_attrib(R_0050_0006__DISEASE,R_0050_0005__VIRAL)
& has_arg0(Z_0050_5010,R_0050_0001__RIFT_R_0050_0002__VALLEY_R_0050_0003__FEVER) ) ).