12_a_factbook_1_2010
victims exhibit fever, jaundice, and diarrhea;
( (IP-MAT (NP-SBJ (NS victims;{victim}))
(VBP;_Tn_ exhibit;{exhibit})
(NP-OB1 (NLYR (NLYR (N fever;{fever}))
(PUNC ,)
(CONJP (NLYR (N jaundice;{jaundice})))
(PUNC ,)
(CONJP (CONJ and;{and})
(NLYR (N diarrhea;{diarrhea})))))
(PUNC ;))
(ID 12_a_factbook_1_2010))
arc(r_0012_0002__exhibit,r_0012_0001__victims,arg0).
arc(r_0012_0002__exhibit,r_0012_0007__and,arg1).
arc(r_0012_0007__and,r_0012_0003__fever,conj1).
arc(r_0012_0007__and,r_0012_0005__jaundice,conj2).
arc(r_0012_0007__and,r_0012_0008__diarrhea,conj3).
fof(formula,axiom,
? [R_0012_0001__VICTIMS,R_0012_0003__FEVER,R_0012_0005__JAUNDICE,R_0012_0008__DIARRHEA,R_0012_0007__AND,R_0012_0002__EXHIBIT] :
( r_0012_0001__victims(R_0012_0001__VICTIMS)
& r_0012_0003__fever(R_0012_0003__FEVER)
& r_0012_0005__jaundice(R_0012_0005__JAUNDICE)
& r_0012_0008__diarrhea(R_0012_0008__DIARRHEA)
& r_0012_0002__exhibit(R_0012_0002__EXHIBIT)
& has_arg1(R_0012_0002__EXHIBIT,R_0012_0007__AND)
& r_0012_0007__and(R_0012_0007__AND)
& has_conj3(R_0012_0007__AND,R_0012_0008__DIARRHEA)
& has_conj2(R_0012_0007__AND,R_0012_0005__JAUNDICE)
& has_conj1(R_0012_0007__AND,R_0012_0003__FEVER)
& has_arg0(R_0012_0002__EXHIBIT,R_0012_0001__VICTIMS) ) ).