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_0010__and and r_0031_0011__death death r_0031_0010__and->r_0031_0011__death [conj3] r_0031_0008__coma coma r_0031_0010__and->r_0031_0008__coma [conj2] r_0031_0006__paralysis paralysis r_0031_0010__and->r_0031_0006__paralysis [conj1] r_0031_0003__can_r_0031_0004__progress can progress r_0031_0003__can_r_0031_0004__progress->r_0031_0010__and to [nim] r_0031_0002__encephalitis encephalitis r_0031_0003__can_r_0031_0004__progress->r_0031_0002__encephalitis [arg0] r_0031_0001__acute acute r_0031_0002__encephalitis->r_0031_0001__acute [attrib] 
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__1_1_1_1_1 acute n31_a_factbook_1_2010__1_1_2_1 encephalitis n31_a_factbook_1_2010__1_2_1 can n31_a_factbook_1_2010__1_3_1_1 progress n31_a_factbook_1_2010__1_3_2_1_1 to n31_a_factbook_1_2010__1_3_2_2_1_1_1_1 paralysis n31_a_factbook_1_2010__1_3_2_2_1_2_1 , n31_a_factbook_1_2010__1_3_2_2_1_3_1_1_1 coma n31_a_factbook_1_2010__1_3_2_2_1_4_1 , n31_a_factbook_1_2010__1_3_2_2_1_5_1_1 and n31_a_factbook_1_2010__1_3_2_2_1_5_2_1_1 death n31_a_factbook_1_2010__1_4_1 ; n31_a_factbook_1_2010__1 IP-MAT n31_a_factbook_1_2010__1_1 NP-SBJ n31_a_factbook_1_2010__1->n31_a_factbook_1_2010__1_1 n31_a_factbook_1_2010__1_2 MD;_cat_Vi_ n31_a_factbook_1_2010__1->n31_a_factbook_1_2010__1_2 n31_a_factbook_1_2010__1_3 IP-INF-CAT n31_a_factbook_1_2010__1->n31_a_factbook_1_2010__1_3 n31_a_factbook_1_2010__1_4 PUNC n31_a_factbook_1_2010__1->n31_a_factbook_1_2010__1_4 n31_a_factbook_1_2010__1_1_1 ADJP n31_a_factbook_1_2010__1_1->n31_a_factbook_1_2010__1_1_1 n31_a_factbook_1_2010__1_1_2 N n31_a_factbook_1_2010__1_1->n31_a_factbook_1_2010__1_1_2 n31_a_factbook_1_2010__1_1_1_1 ADJ n31_a_factbook_1_2010__1_1_1->n31_a_factbook_1_2010__1_1_1_1 n31_a_factbook_1_2010__1_1_1_1->n31_a_factbook_1_2010__1_1_1_1_1 n31_a_factbook_1_2010__1_1_2->n31_a_factbook_1_2010__1_1_2_1 n31_a_factbook_1_2010__1_2->n31_a_factbook_1_2010__1_2_1 n31_a_factbook_1_2010__1_3_1 VB;_I_ n31_a_factbook_1_2010__1_3->n31_a_factbook_1_2010__1_3_1 n31_a_factbook_1_2010__1_3_2 PP-NIM n31_a_factbook_1_2010__1_3->n31_a_factbook_1_2010__1_3_2 n31_a_factbook_1_2010__1_3_1->n31_a_factbook_1_2010__1_3_1_1 n31_a_factbook_1_2010__1_3_2_1 P-ROLE n31_a_factbook_1_2010__1_3_2->n31_a_factbook_1_2010__1_3_2_1 n31_a_factbook_1_2010__1_3_2_2 NP n31_a_factbook_1_2010__1_3_2->n31_a_factbook_1_2010__1_3_2_2 n31_a_factbook_1_2010__1_3_2_1->n31_a_factbook_1_2010__1_3_2_1_1 n31_a_factbook_1_2010__1_3_2_2_1 NLYR n31_a_factbook_1_2010__1_3_2_2->n31_a_factbook_1_2010__1_3_2_2_1 n31_a_factbook_1_2010__1_3_2_2_1_1 NLYR n31_a_factbook_1_2010__1_3_2_2_1->n31_a_factbook_1_2010__1_3_2_2_1_1 n31_a_factbook_1_2010__1_3_2_2_1_2 PUNC n31_a_factbook_1_2010__1_3_2_2_1->n31_a_factbook_1_2010__1_3_2_2_1_2 n31_a_factbook_1_2010__1_3_2_2_1_3 CONJP n31_a_factbook_1_2010__1_3_2_2_1->n31_a_factbook_1_2010__1_3_2_2_1_3 n31_a_factbook_1_2010__1_3_2_2_1_4 PUNC n31_a_factbook_1_2010__1_3_2_2_1->n31_a_factbook_1_2010__1_3_2_2_1_4 n31_a_factbook_1_2010__1_3_2_2_1_5 CONJP n31_a_factbook_1_2010__1_3_2_2_1->n31_a_factbook_1_2010__1_3_2_2_1_5 n31_a_factbook_1_2010__1_3_2_2_1_1_1 N n31_a_factbook_1_2010__1_3_2_2_1_1->n31_a_factbook_1_2010__1_3_2_2_1_1_1 n31_a_factbook_1_2010__1_3_2_2_1_1_1->n31_a_factbook_1_2010__1_3_2_2_1_1_1_1 n31_a_factbook_1_2010__1_3_2_2_1_2->n31_a_factbook_1_2010__1_3_2_2_1_2_1 n31_a_factbook_1_2010__1_3_2_2_1_3_1 NLYR n31_a_factbook_1_2010__1_3_2_2_1_3->n31_a_factbook_1_2010__1_3_2_2_1_3_1 n31_a_factbook_1_2010__1_3_2_2_1_3_1_1 N n31_a_factbook_1_2010__1_3_2_2_1_3_1->n31_a_factbook_1_2010__1_3_2_2_1_3_1_1 n31_a_factbook_1_2010__1_3_2_2_1_3_1_1->n31_a_factbook_1_2010__1_3_2_2_1_3_1_1_1 n31_a_factbook_1_2010__1_3_2_2_1_4->n31_a_factbook_1_2010__1_3_2_2_1_4_1 n31_a_factbook_1_2010__1_3_2_2_1_5_1 CONJ n31_a_factbook_1_2010__1_3_2_2_1_5->n31_a_factbook_1_2010__1_3_2_2_1_5_1 n31_a_factbook_1_2010__1_3_2_2_1_5_2 NLYR n31_a_factbook_1_2010__1_3_2_2_1_5->n31_a_factbook_1_2010__1_3_2_2_1_5_2 n31_a_factbook_1_2010__1_3_2_2_1_5_1->n31_a_factbook_1_2010__1_3_2_2_1_5_1_1 n31_a_factbook_1_2010__1_3_2_2_1_5_2_1 N n31_a_factbook_1_2010__1_3_2_2_1_5_2->n31_a_factbook_1_2010__1_3_2_2_1_5_2_1 n31_a_factbook_1_2010__1_3_2_2_1_5_2_1->n31_a_factbook_1_2010__1_3_2_2_1_5_2_1_1 n31_a_factbook_1_2010__1_4->n31_a_factbook_1_2010__1_4_1 
( (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))