60_a_factbook_1_2010
symptoms include high fever, severe headache, vomiting, jaundice, and 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))
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,attrib).
arc(r_0060_0007__headache,r_0060_0006__severe,attrib).
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_0060_0001__SYMPTOMS,R_0060_0003__HIGH,R_0060_0004__FEVER,R_0060_0006__SEVERE,R_0060_0007__HEADACHE,R_0060_0009__VOMITING,R_0060_0011__JAUNDICE,R_0060_0014__DIARRHEA,R_0060_0013__AND,R_0060_0002__INCLUDE] :
( r_0060_0001__symptoms(R_0060_0001__SYMPTOMS)
& r_0060_0003__high(R_0060_0003__HIGH)
& r_0060_0006__severe(R_0060_0006__SEVERE)
& r_0060_0009__vomiting(R_0060_0009__VOMITING)
& r_0060_0011__jaundice(R_0060_0011__JAUNDICE)
& r_0060_0014__diarrhea(R_0060_0014__DIARRHEA)
& r_0060_0002__include(R_0060_0002__INCLUDE)
& has_arg1(R_0060_0002__INCLUDE,R_0060_0013__AND)
& r_0060_0013__and(R_0060_0013__AND)
& has_conj5(R_0060_0013__AND,R_0060_0014__DIARRHEA)
& has_conj4(R_0060_0013__AND,R_0060_0011__JAUNDICE)
& has_conj3(R_0060_0013__AND,R_0060_0009__VOMITING)
& has_conj2(R_0060_0013__AND,R_0060_0007__HEADACHE)
& r_0060_0007__headache(R_0060_0007__HEADACHE)
& has_attrib(R_0060_0007__HEADACHE,R_0060_0006__SEVERE)
& has_conj1(R_0060_0013__AND,R_0060_0004__FEVER)
& r_0060_0004__fever(R_0060_0004__FEVER)
& has_attrib(R_0060_0004__FEVER,R_0060_0003__HIGH)
& has_arg0(R_0060_0002__INCLUDE,R_0060_0001__SYMPTOMS) ) ).