50_a_factbook_1_2010
Rift Valley fever - viral disease affecting domesticated animals and humans;
arc(r_0050_0006__disease, r_0050_0005__viral, attrib13).
arc(r_0050_0007__affecting, r_0050_0006__disease, arg0).
arc(r_0050_0007__affecting, r_0050_0010__and, arg1).
arc(r_0050_0009__animals, r_0050_0008__domesticated, attrib24).
arc(r_0050_0010__and, r_0050_0009__animals, conj1).
arc(r_0050_0010__and, r_0050_0011__humans, conj2).
arc(z_000_50_a_factbook_1_2010_1, r_0050_0001__Rift_r_0050_0002__Valley_r_0050_0003__fever, nim2).
arc(z_000_50_a_factbook_1_2010_11, r_0050_0001__Rift_r_0050_0002__Valley_r_0050_0003__fever, arg0).
arc(z_000_50_a_factbook_1_2010_11, r_0050_0006__disease, prd).
fof(formula,axiom,
? [R_0050_0005__VIRAL,R_0050_0006__DISEASE,R_0050_0008__DOMESTICATED,R_0050_0009__ANIMALS,R_0050_0011__HUMANS,R_0050_0010__AND,R_0050_0007__AFFECTING,R_0050_0001__RIFT_R_0050_0002__VALLEY_R_0050_0003__FEVER,Z_000_50_A_FACTBOOK_1_2010_1,Z_000_50_A_FACTBOOK_1_2010_11] :
( 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_000_50_a_factbook_1_2010_11(Z_000_50_A_FACTBOOK_1_2010_11)
& has_prd(Z_000_50_A_FACTBOOK_1_2010_11,R_0050_0006__DISEASE)
& r_0050_0006__disease(R_0050_0006__DISEASE)
& has_attrib13(R_0050_0006__DISEASE,R_0050_0005__VIRAL)
& has_arg0(Z_000_50_A_FACTBOOK_1_2010_11,R_0050_0001__RIFT_R_0050_0002__VALLEY_R_0050_0003__FEVER)
& z_000_50_a_factbook_1_2010_1(Z_000_50_A_FACTBOOK_1_2010_1)
& has_nim2(Z_000_50_A_FACTBOOK_1_2010_1,R_0050_0001__RIFT_R_0050_0002__VALLEY_R_0050_0003__FEVER)
& 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_attrib24(R_0050_0009__ANIMALS,R_0050_0008__DOMESTICATED)
& has_arg0(R_0050_0007__AFFECTING,R_0050_0006__DISEASE) ) ).
( (FRAG (NP (NPR Rift;{Rift})
(NPR Valley;{Valley})
(NPR fever;{fever})
(PUNC <hyphen>)
(IP-PPL (NP-PRD (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))