60_a_factbook_1_2010
symptoms include high fever, severe headache, vomiting, jaundice, and diarrhea;
arc(r_0060_0002__include, r_0060_0001__symptoms, arg0).
arc(r_0060_0002__include, r_0060_0013__and, arg1).
arc(r_0060_0004__fever, r_0060_0003__high, attrib10).
arc(r_0060_0007__headache, r_0060_0006__severe, attrib19).
arc(r_0060_0013__and, r_0060_0004__fever, conj1).
arc(r_0060_0013__and, r_0060_0007__headache, conj2).
arc(r_0060_0013__and, r_0060_0009__vomiting, conj3).
arc(r_0060_0013__and, r_0060_0011__jaundice, conj4).
arc(r_0060_0013__and, r_0060_0014__diarrhea, conj5).
fof(formula,axiom,
? [R_60_2_INCLUDE,R_60_1_SYMPTOMS,R_60_13_AND,R_60_4_FEVER,R_60_3_HIGH,R_60_7_HEADACHE,R_60_6_SEVERE,R_60_9_VOMITING,R_60_11_JAUNDICE,R_60_14_DIARRHEA] :
( symptoms(R_60_1_SYMPTOMS)
& high(R_60_3_HIGH)
& severe(R_60_6_SEVERE)
& vomiting(R_60_9_VOMITING)
& jaundice(R_60_11_JAUNDICE)
& diarrhea(R_60_14_DIARRHEA)
& include(R_60_2_INCLUDE,R_60_1_SYMPTOMS,R_60_13_AND)
& and(R_60_13_AND)
& conj1(R_60_13_AND,R_60_4_FEVER)
& fever(R_60_4_FEVER)
& attrib10(R_60_4_FEVER,R_60_3_HIGH)
& conj2(R_60_13_AND,R_60_7_HEADACHE)
& headache(R_60_7_HEADACHE)
& attrib19(R_60_7_HEADACHE,R_60_6_SEVERE)
& conj3(R_60_13_AND,R_60_9_VOMITING)
& conj4(R_60_13_AND,R_60_11_JAUNDICE)
& conj5(R_60_13_AND,R_60_14_DIARRHEA) ) ).
( (IP-MAT (NP-SBJ (NS symptoms;{symptom}))
(VBP;_Tn_ include;{include})
(NP-OB1 (NLYR (NLYR (ADJP (ADJ high;{high}))
(N fever;{fever}))
(PUNC ,)
(CONJP (NLYR (ADJP (ADJ severe;{severe}))
(N headache;{headache})))
(PUNC ,)
(CONJP (NLYR (N vomiting;{vomiting})))
(PUNC ,)
(CONJP (NLYR (N jaundice;{jaundice})))
(PUNC ,)
(CONJP (CONJ and;{and})
(NLYR (N diarrhea;{diarrhea})))))
(PUNC ;))
(ID 60_a_factbook_1_2010))