16_a_factbook_1_2010
victims exhibit jaundice, fatigue, abdominal pain, and dark colored urine.
( (IP-MAT (NP-SBJ (NS victims;{victim}))
(VBP;_Tn_ exhibit;{exhibit})
(NP-OB1 (NLYR (NLYR (N jaundice;{jaundice}))
(PUNC ,)
(CONJP (NLYR (N fatigue;{fatigue})))
(PUNC ,)
(CONJP (NLYR (ADJP (ADJ abdominal;{abdominal}))
(N pain;{pain})))
(PUNC ,)
(CONJP (CONJ and;{and})
(NLYR (ADJP (ADJ dark;{dark})
(ADJ colored;{colored}))
(N urine;{urine})))))
(PUNC .))
(ID 16_a_factbook_1_2010))
arc(r_0016_0002__exhibit,r_0016_0001__victims,arg0).
arc(r_0016_0002__exhibit,r_0016_0010__and,arg1).
arc(r_0016_0008__pain,r_0016_0007__abdominal,attrib).
arc(r_0016_0010__and,r_0016_0003__jaundice,conj1).
arc(r_0016_0010__and,r_0016_0005__fatigue,conj2).
arc(r_0016_0010__and,r_0016_0008__pain,conj3).
arc(r_0016_0010__and,r_0016_0013__urine,conj4).
arc(r_0016_0013__urine,r_0016_0011__dark_r_0016_0012__colored,attrib).
fof(formula,axiom,
? [R_0016_0001__VICTIMS,R_0016_0003__JAUNDICE,R_0016_0005__FATIGUE,R_0016_0007__ABDOMINAL,R_0016_0008__PAIN,R_0016_0011__DARK_R_0016_0012__COLORED,R_0016_0013__URINE,R_0016_0010__AND,R_0016_0002__EXHIBIT] :
( r_0016_0001__victims(R_0016_0001__VICTIMS)
& r_0016_0003__jaundice(R_0016_0003__JAUNDICE)
& r_0016_0005__fatigue(R_0016_0005__FATIGUE)
& r_0016_0007__abdominal(R_0016_0007__ABDOMINAL)
& r_0016_0011__dark_r_0016_0012__colored(R_0016_0011__DARK_R_0016_0012__COLORED)
& r_0016_0002__exhibit(R_0016_0002__EXHIBIT)
& has_arg1(R_0016_0002__EXHIBIT,R_0016_0010__AND)
& r_0016_0010__and(R_0016_0010__AND)
& has_conj4(R_0016_0010__AND,R_0016_0013__URINE)
& r_0016_0013__urine(R_0016_0013__URINE)
& has_attrib(R_0016_0013__URINE,R_0016_0011__DARK_R_0016_0012__COLORED)
& has_conj3(R_0016_0010__AND,R_0016_0008__PAIN)
& r_0016_0008__pain(R_0016_0008__PAIN)
& has_attrib(R_0016_0008__PAIN,R_0016_0007__ABDOMINAL)
& has_conj2(R_0016_0010__AND,R_0016_0005__FATIGUE)
& has_conj1(R_0016_0010__AND,R_0016_0003__JAUNDICE)
& has_arg0(R_0016_0002__EXHIBIT,R_0016_0001__VICTIMS) ) ).