16_a_factbook_1_2010
victims exhibit jaundice, fatigue, abdominal pain, and dark colored urine.
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, attrib22).
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, attrib33).
fof(formula,axiom,
? [R_16_2_EXHIBIT,R_16_1_VICTIMS,R_16_10_AND,R_16_3_JAUNDICE,R_16_5_FATIGUE,R_16_8_PAIN,R_16_7_ABDOMINAL,R_16_13_URINE,R_16_11_DARK_COLORED] :
( victims(R_16_1_VICTIMS)
& jaundice(R_16_3_JAUNDICE)
& fatigue(R_16_5_FATIGUE)
& abdominal(R_16_7_ABDOMINAL)
& dark_colored(R_16_11_DARK_COLORED)
& exhibit(R_16_2_EXHIBIT,R_16_1_VICTIMS,R_16_10_AND)
& and(R_16_10_AND)
& conj1(R_16_10_AND,R_16_3_JAUNDICE)
& conj2(R_16_10_AND,R_16_5_FATIGUE)
& conj3(R_16_10_AND,R_16_8_PAIN)
& pain(R_16_8_PAIN)
& attrib22(R_16_8_PAIN,R_16_7_ABDOMINAL)
& conj4(R_16_10_AND,R_16_13_URINE)
& urine(R_16_13_URINE)
& attrib33(R_16_13_URINE,R_16_11_DARK_COLORED) ) ).
( (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))