Context                Previous, Next                Top


31_a_factbook_1_2010
acute encephalitis can progress to paralysis, coma, and death;

%3 r_0031_0002__encephalitis encephalitis r_0031_0001__acute acute r_0031_0002__encephalitis->r_0031_0001__acute [attrib] r_0031_0003__can can r_0031_0004__progress progress r_0031_0003__can->r_0031_0004__progress [scope] r_0031_0004__progress->r_0031_0002__encephalitis [arg0] r_0031_0010__and and r_0031_0004__progress->r_0031_0010__and to [nim] r_0031_0006__paralysis paralysis r_0031_0010__and->r_0031_0006__paralysis [conj1] r_0031_0008__coma coma r_0031_0010__and->r_0031_0008__coma [conj2] r_0031_0011__death death r_0031_0010__and->r_0031_0011__death [conj3] 
arc(r_0031_0002__encephalitis, r_0031_0001__acute, attrib3).
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_nim16).
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).


%3 r_0031_0002__encephalitis encephalitis r_0031_0001__acute acute r_0031_0002__encephalitis->r_0031_0001__acute [attrib] r_0031_0003__can_r_0031_0004__progress can progress r_0031_0003__can_r_0031_0004__progress->r_0031_0002__encephalitis [arg0] r_0031_0010__and and r_0031_0003__can_r_0031_0004__progress->r_0031_0010__and to [nim] r_0031_0006__paralysis paralysis r_0031_0010__and->r_0031_0006__paralysis [conj1] r_0031_0008__coma coma r_0031_0010__and->r_0031_0008__coma [conj2] r_0031_0011__death death r_0031_0010__and->r_0031_0011__death [conj3] 
fof(formula,axiom,
    ? [R_31_3_CAN_PROGRESS,R_31_2_ENCEPHALITIS,R_31_1_ACUTE,R_31_10_AND,R_31_6_PARALYSIS,R_31_8_COMA,R_31_11_DEATH] :
      ( acute(R_31_1_ACUTE)
      & paralysis(R_31_6_PARALYSIS)
      & coma(R_31_8_COMA)
      & death(R_31_11_DEATH)
      & can_progress(R_31_3_CAN_PROGRESS,R_31_2_ENCEPHALITIS)
      & encephalitis(R_31_2_ENCEPHALITIS)
      & attrib3(R_31_2_ENCEPHALITIS,R_31_1_ACUTE)
      & to_nim16(R_31_3_CAN_PROGRESS,R_31_10_AND)
      & and(R_31_10_AND)
      & conj1(R_31_10_AND,R_31_6_PARALYSIS)
      & conj2(R_31_10_AND,R_31_8_COMA)
      & conj3(R_31_10_AND,R_31_11_DEATH) ) ).


n31_a_factbook_1_2010 n31_a_factbook_1_2010_5 acute n31_a_factbook_1_2010_7 encephalitis n31_a_factbook_1_2010_9 can n31_a_factbook_1_2010_12 progress n31_a_factbook_1_2010_15 to n31_a_factbook_1_2010_20 paralysis n31_a_factbook_1_2010_22 , n31_a_factbook_1_2010_26 coma n31_a_factbook_1_2010_28 , n31_a_factbook_1_2010_31 and n31_a_factbook_1_2010_34 death n31_a_factbook_1_2010_36 ; n31_a_factbook_1_2010_1 IP-MAT n31_a_factbook_1_2010_2 NP-SBJ n31_a_factbook_1_2010_1->n31_a_factbook_1_2010_2 n31_a_factbook_1_2010_8 MD;_cat_Vi_ n31_a_factbook_1_2010_1->n31_a_factbook_1_2010_8 n31_a_factbook_1_2010_10 IP-INF-CAT n31_a_factbook_1_2010_1->n31_a_factbook_1_2010_10 n31_a_factbook_1_2010_35 PUNC n31_a_factbook_1_2010_1->n31_a_factbook_1_2010_35 n31_a_factbook_1_2010_3 ADJP n31_a_factbook_1_2010_2->n31_a_factbook_1_2010_3 n31_a_factbook_1_2010_6 N n31_a_factbook_1_2010_2->n31_a_factbook_1_2010_6 n31_a_factbook_1_2010_4 ADJ n31_a_factbook_1_2010_3->n31_a_factbook_1_2010_4 n31_a_factbook_1_2010_4->n31_a_factbook_1_2010_5 n31_a_factbook_1_2010_6->n31_a_factbook_1_2010_7 n31_a_factbook_1_2010_8->n31_a_factbook_1_2010_9 n31_a_factbook_1_2010_11 VB;_I_ n31_a_factbook_1_2010_10->n31_a_factbook_1_2010_11 n31_a_factbook_1_2010_13 PP-NIM n31_a_factbook_1_2010_10->n31_a_factbook_1_2010_13 n31_a_factbook_1_2010_11->n31_a_factbook_1_2010_12 n31_a_factbook_1_2010_14 P-ROLE n31_a_factbook_1_2010_13->n31_a_factbook_1_2010_14 n31_a_factbook_1_2010_16 NP n31_a_factbook_1_2010_13->n31_a_factbook_1_2010_16 n31_a_factbook_1_2010_14->n31_a_factbook_1_2010_15 n31_a_factbook_1_2010_17 NLYR n31_a_factbook_1_2010_16->n31_a_factbook_1_2010_17 n31_a_factbook_1_2010_18 NLYR n31_a_factbook_1_2010_17->n31_a_factbook_1_2010_18 n31_a_factbook_1_2010_21 PUNC n31_a_factbook_1_2010_17->n31_a_factbook_1_2010_21 n31_a_factbook_1_2010_23 CONJP n31_a_factbook_1_2010_17->n31_a_factbook_1_2010_23 n31_a_factbook_1_2010_27 PUNC n31_a_factbook_1_2010_17->n31_a_factbook_1_2010_27 n31_a_factbook_1_2010_29 CONJP n31_a_factbook_1_2010_17->n31_a_factbook_1_2010_29 n31_a_factbook_1_2010_19 N n31_a_factbook_1_2010_18->n31_a_factbook_1_2010_19 n31_a_factbook_1_2010_19->n31_a_factbook_1_2010_20 n31_a_factbook_1_2010_21->n31_a_factbook_1_2010_22 n31_a_factbook_1_2010_24 NLYR n31_a_factbook_1_2010_23->n31_a_factbook_1_2010_24 n31_a_factbook_1_2010_25 N n31_a_factbook_1_2010_24->n31_a_factbook_1_2010_25 n31_a_factbook_1_2010_25->n31_a_factbook_1_2010_26 n31_a_factbook_1_2010_27->n31_a_factbook_1_2010_28 n31_a_factbook_1_2010_30 CONJ n31_a_factbook_1_2010_29->n31_a_factbook_1_2010_30 n31_a_factbook_1_2010_32 NLYR n31_a_factbook_1_2010_29->n31_a_factbook_1_2010_32 n31_a_factbook_1_2010_30->n31_a_factbook_1_2010_31 n31_a_factbook_1_2010_33 N n31_a_factbook_1_2010_32->n31_a_factbook_1_2010_33 n31_a_factbook_1_2010_33->n31_a_factbook_1_2010_34 n31_a_factbook_1_2010_35->n31_a_factbook_1_2010_36 
( (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))