31_a_factbook_1_2010
acute encephalitis can progress to paralysis, coma, and death;
( (IP-MAT (NP-SBJ (ADJP (ADJ acute;{acute}))
(N encephalitis;{encephalitis}))
(MD;_cat_Vi_ can;{can})
(IP-INF-CAT (VB;_I_ progress;{progress})
(PP-NIM (P-ROLE to;{to})
(NP (NLYR (NLYR (N paralysis;{paralysis}))
(PUNC ,)
(CONJP (NLYR (N coma;{coma})))
(PUNC ,)
(CONJP (CONJ and;{and})
(NLYR (N death;{death})))))))
(PUNC ;))
(ID 31_a_factbook_1_2010))
arc(r_0031_0002__encephalitis,r_0031_0001__acute,attrib).
arc(r_0031_0003__can,r_0031_0004__progress,scope).
arc(r_0031_0004__progress,r_0031_0002__encephalitis,arg0).
arc(r_0031_0004__progress,r_0031_0010__and,r_0031_0005__to__nim).
arc(r_0031_0010__and,r_0031_0006__paralysis,conj1).
arc(r_0031_0010__and,r_0031_0008__coma,conj2).
arc(r_0031_0010__and,r_0031_0011__death,conj3).
fof(formula,axiom,
? [R_0031_0001__ACUTE,R_0031_0002__ENCEPHALITIS,R_0031_0006__PARALYSIS,R_0031_0008__COMA,R_0031_0011__DEATH,R_0031_0010__AND,R_0031_0003__CAN_R_0031_0004__PROGRESS] :
( r_0031_0001__acute(R_0031_0001__ACUTE)
& r_0031_0006__paralysis(R_0031_0006__PARALYSIS)
& r_0031_0008__coma(R_0031_0008__COMA)
& r_0031_0011__death(R_0031_0011__DEATH)
& r_0031_0003__can_r_0031_0004__progress(R_0031_0003__CAN_R_0031_0004__PROGRESS)
& has_r_0031_0005__to__nim(R_0031_0003__CAN_R_0031_0004__PROGRESS,R_0031_0010__AND)
& r_0031_0010__and(R_0031_0010__AND)
& has_conj3(R_0031_0010__AND,R_0031_0011__DEATH)
& has_conj2(R_0031_0010__AND,R_0031_0008__COMA)
& has_conj1(R_0031_0010__AND,R_0031_0006__PARALYSIS)
& has_arg0(R_0031_0003__CAN_R_0031_0004__PROGRESS,R_0031_0002__ENCEPHALITIS)
& r_0031_0002__encephalitis(R_0031_0002__ENCEPHALITIS)
& has_attrib(R_0031_0002__ENCEPHALITIS,R_0031_0001__ACUTE) ) ).