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_0077_0001__SYMPTOMS,R_0077_0003__STIFF,R_0077_0004__NECK,R_0077_0006__HIGH,R_0077_0007__FEVER,R_0077_0009__HEADACHES,R_0077_0012__VOMITING,R_0077_0011__AND,R_0077_0002__INCLUDE] :
      ( r_0077_0001__symptoms(R_0077_0001__SYMPTOMS)
      & r_0077_0003__stiff(R_0077_0003__STIFF)
      & r_0077_0006__high(R_0077_0006__HIGH)
      & r_0077_0009__headaches(R_0077_0009__HEADACHES)
      & r_0077_0012__vomiting(R_0077_0012__VOMITING)
      & r_0077_0002__include(R_0077_0002__INCLUDE)
      & has_arg1(R_0077_0002__INCLUDE,R_0077_0011__AND)
      & r_0077_0011__and(R_0077_0011__AND)
      & has_conj4(R_0077_0011__AND,R_0077_0012__VOMITING)
      & has_conj3(R_0077_0011__AND,R_0077_0009__HEADACHES)
      & has_conj2(R_0077_0011__AND,R_0077_0007__FEVER)
      & r_0077_0007__fever(R_0077_0007__FEVER)
      & has_attrib19(R_0077_0007__FEVER,R_0077_0006__HIGH)
      & has_conj1(R_0077_0011__AND,R_0077_0004__NECK)
      & r_0077_0004__neck(R_0077_0004__NECK)
      & has_attrib10(R_0077_0004__NECK,R_0077_0003__STIFF)
      & has_arg0(R_0077_0002__INCLUDE,R_0077_0001__SYMPTOMS) ) ).


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))