58_a_factbook_1_2010
Leptospirosis - bacterial disease that affects animals and humans;
( (FRAG (NP (NPR Leptospirosis;{Leptospirosis})
(PUNC <hyphen>)
(PRN (NP (ADJP (ADJ bacterial;{bacterial}))
(N disease;{disease})
(IP-REL (C that;{that})
(NP-SBJ *T*)
(VBP;_Tn_ affects;{affect})
(NP-OB1 (NLYR (NLYR (NS animals;{animal}))
(CONJP (CONJ and;{and})
(NLYR (NS humans;{human})))))))))
(PUNC ;))
(ID 58_a_factbook_1_2010))
arc(r_0058_0004__disease,r_0058_0003__bacterial,attrib).
arc(r_0058_0006__affects,r_0058_0004__disease,inv_arg0).
arc(r_0058_0006__affects,r_0058_0008__and,arg1).
arc(r_0058_0008__and,r_0058_0007__animals,conj1).
arc(r_0058_0008__and,r_0058_0009__humans,conj2).
arc(z_0058_5009,r_0058_0001__Leptospirosis,arg0).
arc(z_0058_5009,r_0058_0004__disease,prd).
arc(z_0058_5011,r_0058_0001__Leptospirosis,z_0058_5002).
fof(formula,axiom,
? [R_0058_0001__LEPTOSPIROSIS,R_0058_0003__BACTERIAL,R_0058_0007__ANIMALS,R_0058_0009__HUMANS,R_0058_0008__AND,R_0058_0006__AFFECTS,R_0058_0004__DISEASE,Z_0058_5009,Z_0058_5011] :
( r_0058_0001__Leptospirosis(R_0058_0001__LEPTOSPIROSIS)
& r_0058_0003__bacterial(R_0058_0003__BACTERIAL)
& r_0058_0007__animals(R_0058_0007__ANIMALS)
& r_0058_0009__humans(R_0058_0009__HUMANS)
& z_0058_5011(Z_0058_5011)
& has_z_0058_5002(Z_0058_5011,R_0058_0001__LEPTOSPIROSIS)
& z_0058_5009(Z_0058_5009)
& has_prd(Z_0058_5009,R_0058_0004__DISEASE)
& r_0058_0004__disease(R_0058_0004__DISEASE)
& has_inv_arg0(R_0058_0004__DISEASE,R_0058_0006__AFFECTS)
& r_0058_0006__affects(R_0058_0006__AFFECTS)
& has_arg1(R_0058_0006__AFFECTS,R_0058_0008__AND)
& r_0058_0008__and(R_0058_0008__AND)
& has_conj2(R_0058_0008__AND,R_0058_0009__HUMANS)
& has_conj1(R_0058_0008__AND,R_0058_0007__ANIMALS)
& has_attrib(R_0058_0004__DISEASE,R_0058_0003__BACTERIAL)
& has_arg0(Z_0058_5009,R_0058_0001__LEPTOSPIROSIS) ) ).