Context                Previous, Next                Top


77_a_factbook_1_2010
symptoms include stiff neck, high fever, headaches, and vomiting;

%3 r_0077_0002__include include r_0077_0001__symptoms symptoms r_0077_0002__include->r_0077_0001__symptoms [arg0] r_0077_0011__and and r_0077_0002__include->r_0077_0011__and [arg1] r_0077_0004__neck neck r_0077_0011__and->r_0077_0004__neck [conj1] r_0077_0007__fever fever r_0077_0011__and->r_0077_0007__fever [conj2] r_0077_0009__headaches headaches r_0077_0011__and->r_0077_0009__headaches [conj3] r_0077_0012__vomiting vomiting r_0077_0011__and->r_0077_0012__vomiting [conj4] r_0077_0003__stiff stiff r_0077_0004__neck->r_0077_0003__stiff [attrib] r_0077_0006__high high r_0077_0007__fever->r_0077_0006__high [attrib] 
arc(r_0077_0002__include, r_0077_0001__symptoms, arg0).
arc(r_0077_0002__include, r_0077_0011__and, arg1).
arc(r_0077_0004__neck, r_0077_0003__stiff, attrib10).
arc(r_0077_0007__fever, r_0077_0006__high, attrib19).
arc(r_0077_0011__and, r_0077_0004__neck, conj1).
arc(r_0077_0011__and, r_0077_0007__fever, conj2).
arc(r_0077_0011__and, r_0077_0009__headaches, conj3).
arc(r_0077_0011__and, r_0077_0012__vomiting, conj4).


%3 r_0077_0011__and and r_0077_0012__vomiting vomiting r_0077_0011__and->r_0077_0012__vomiting [conj4] r_0077_0009__headaches headaches r_0077_0011__and->r_0077_0009__headaches [conj3] r_0077_0007__fever fever r_0077_0011__and->r_0077_0007__fever [conj2] r_0077_0004__neck neck r_0077_0011__and->r_0077_0004__neck [conj1] r_0077_0006__high high r_0077_0007__fever->r_0077_0006__high [attrib] r_0077_0003__stiff stiff r_0077_0004__neck->r_0077_0003__stiff [attrib] r_0077_0002__include include r_0077_0002__include->r_0077_0011__and [arg1] r_0077_0001__symptoms symptoms r_0077_0002__include->r_0077_0001__symptoms [arg0] 
fof(formula,axiom,
    ? [R_77_2_INCLUDE,R_77_1_SYMPTOMS,R_77_11_AND,R_77_4_NECK,R_77_3_STIFF,R_77_7_FEVER,R_77_6_HIGH,R_77_9_HEADACHES,R_77_12_VOMITING] :
      ( symptoms(R_77_1_SYMPTOMS)
      & stiff(R_77_3_STIFF)
      & high(R_77_6_HIGH)
      & headaches(R_77_9_HEADACHES)
      & vomiting(R_77_12_VOMITING)
      & include(R_77_2_INCLUDE,R_77_1_SYMPTOMS,R_77_11_AND)
      & and(R_77_11_AND)
      & conj1(R_77_11_AND,R_77_4_NECK)
      & neck(R_77_4_NECK)
      & attrib10(R_77_4_NECK,R_77_3_STIFF)
      & conj2(R_77_11_AND,R_77_7_FEVER)
      & fever(R_77_7_FEVER)
      & attrib19(R_77_7_FEVER,R_77_6_HIGH)
      & conj3(R_77_11_AND,R_77_9_HEADACHES)
      & conj4(R_77_11_AND,R_77_12_VOMITING) ) ).


n77_a_factbook_1_2010 n77_a_factbook_1_2010__1_1_1_1 symptoms n77_a_factbook_1_2010__1_2_1 include n77_a_factbook_1_2010__1_3_1_1_1_1_1 stiff n77_a_factbook_1_2010__1_3_1_1_2_1 neck n77_a_factbook_1_2010__1_3_1_2_1 , n77_a_factbook_1_2010__1_3_1_3_1_1_1_1 high n77_a_factbook_1_2010__1_3_1_3_1_2_1 fever n77_a_factbook_1_2010__1_3_1_4_1 , n77_a_factbook_1_2010__1_3_1_5_1_1_1 headaches n77_a_factbook_1_2010__1_3_1_6_1 , n77_a_factbook_1_2010__1_3_1_7_1_1 and n77_a_factbook_1_2010__1_3_1_7_2_1_1 vomiting n77_a_factbook_1_2010__1_4_1 ; n77_a_factbook_1_2010__1 IP-MAT n77_a_factbook_1_2010__1_1 NP-SBJ n77_a_factbook_1_2010__1->n77_a_factbook_1_2010__1_1 n77_a_factbook_1_2010__1_2 VBP;_Tn_ n77_a_factbook_1_2010__1->n77_a_factbook_1_2010__1_2 n77_a_factbook_1_2010__1_3 NP-OB1 n77_a_factbook_1_2010__1->n77_a_factbook_1_2010__1_3 n77_a_factbook_1_2010__1_4 PUNC n77_a_factbook_1_2010__1->n77_a_factbook_1_2010__1_4 n77_a_factbook_1_2010__1_1_1 NS n77_a_factbook_1_2010__1_1->n77_a_factbook_1_2010__1_1_1 n77_a_factbook_1_2010__1_1_1->n77_a_factbook_1_2010__1_1_1_1 n77_a_factbook_1_2010__1_2->n77_a_factbook_1_2010__1_2_1 n77_a_factbook_1_2010__1_3_1 NLYR n77_a_factbook_1_2010__1_3->n77_a_factbook_1_2010__1_3_1 n77_a_factbook_1_2010__1_3_1_1 NLYR n77_a_factbook_1_2010__1_3_1->n77_a_factbook_1_2010__1_3_1_1 n77_a_factbook_1_2010__1_3_1_2 PUNC n77_a_factbook_1_2010__1_3_1->n77_a_factbook_1_2010__1_3_1_2 n77_a_factbook_1_2010__1_3_1_3 CONJP n77_a_factbook_1_2010__1_3_1->n77_a_factbook_1_2010__1_3_1_3 n77_a_factbook_1_2010__1_3_1_4 PUNC n77_a_factbook_1_2010__1_3_1->n77_a_factbook_1_2010__1_3_1_4 n77_a_factbook_1_2010__1_3_1_5 CONJP n77_a_factbook_1_2010__1_3_1->n77_a_factbook_1_2010__1_3_1_5 n77_a_factbook_1_2010__1_3_1_6 PUNC n77_a_factbook_1_2010__1_3_1->n77_a_factbook_1_2010__1_3_1_6 n77_a_factbook_1_2010__1_3_1_7 CONJP n77_a_factbook_1_2010__1_3_1->n77_a_factbook_1_2010__1_3_1_7 n77_a_factbook_1_2010__1_3_1_1_1 ADJP n77_a_factbook_1_2010__1_3_1_1->n77_a_factbook_1_2010__1_3_1_1_1 n77_a_factbook_1_2010__1_3_1_1_2 N n77_a_factbook_1_2010__1_3_1_1->n77_a_factbook_1_2010__1_3_1_1_2 n77_a_factbook_1_2010__1_3_1_1_1_1 ADJ n77_a_factbook_1_2010__1_3_1_1_1->n77_a_factbook_1_2010__1_3_1_1_1_1 n77_a_factbook_1_2010__1_3_1_1_1_1->n77_a_factbook_1_2010__1_3_1_1_1_1_1 n77_a_factbook_1_2010__1_3_1_1_2->n77_a_factbook_1_2010__1_3_1_1_2_1 n77_a_factbook_1_2010__1_3_1_2->n77_a_factbook_1_2010__1_3_1_2_1 n77_a_factbook_1_2010__1_3_1_3_1 NLYR n77_a_factbook_1_2010__1_3_1_3->n77_a_factbook_1_2010__1_3_1_3_1 n77_a_factbook_1_2010__1_3_1_3_1_1 ADJP n77_a_factbook_1_2010__1_3_1_3_1->n77_a_factbook_1_2010__1_3_1_3_1_1 n77_a_factbook_1_2010__1_3_1_3_1_2 N n77_a_factbook_1_2010__1_3_1_3_1->n77_a_factbook_1_2010__1_3_1_3_1_2 n77_a_factbook_1_2010__1_3_1_3_1_1_1 ADJ n77_a_factbook_1_2010__1_3_1_3_1_1->n77_a_factbook_1_2010__1_3_1_3_1_1_1 n77_a_factbook_1_2010__1_3_1_3_1_1_1->n77_a_factbook_1_2010__1_3_1_3_1_1_1_1 n77_a_factbook_1_2010__1_3_1_3_1_2->n77_a_factbook_1_2010__1_3_1_3_1_2_1 n77_a_factbook_1_2010__1_3_1_4->n77_a_factbook_1_2010__1_3_1_4_1 n77_a_factbook_1_2010__1_3_1_5_1 NLYR n77_a_factbook_1_2010__1_3_1_5->n77_a_factbook_1_2010__1_3_1_5_1 n77_a_factbook_1_2010__1_3_1_5_1_1 NS n77_a_factbook_1_2010__1_3_1_5_1->n77_a_factbook_1_2010__1_3_1_5_1_1 n77_a_factbook_1_2010__1_3_1_5_1_1->n77_a_factbook_1_2010__1_3_1_5_1_1_1 n77_a_factbook_1_2010__1_3_1_6->n77_a_factbook_1_2010__1_3_1_6_1 n77_a_factbook_1_2010__1_3_1_7_1 CONJ n77_a_factbook_1_2010__1_3_1_7->n77_a_factbook_1_2010__1_3_1_7_1 n77_a_factbook_1_2010__1_3_1_7_2 NLYR n77_a_factbook_1_2010__1_3_1_7->n77_a_factbook_1_2010__1_3_1_7_2 n77_a_factbook_1_2010__1_3_1_7_1->n77_a_factbook_1_2010__1_3_1_7_1_1 n77_a_factbook_1_2010__1_3_1_7_2_1 N n77_a_factbook_1_2010__1_3_1_7_2->n77_a_factbook_1_2010__1_3_1_7_2_1 n77_a_factbook_1_2010__1_3_1_7_2_1->n77_a_factbook_1_2010__1_3_1_7_2_1_1 n77_a_factbook_1_2010__1_4->n77_a_factbook_1_2010__1_4_1 
( (IP-MAT (NP-SBJ (NS symptoms;{symptom}))
          (VBP;_Tn_ include;{include})
          (NP-OB1 (NLYR (NLYR (ADJP (ADJ stiff;{stiff}))
                              (N neck;{neck}))
                        (PUNC ,)
                        (CONJP (NLYR (ADJP (ADJ high;{high}))
                                     (N fever;{fever})))
                        (PUNC ,)
                        (CONJP (NLYR (NS headaches;{headache})))
                        (PUNC ,)
                        (CONJP (CONJ and;{and})
                               (NLYR (N vomiting;{vomiting})))))
          (PUNC ;))
  (ID 77_a_factbook_1_2010))