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_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] 
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_4 symptoms n77_a_factbook_1_2010_6 include n77_a_factbook_1_2010_12 stiff n77_a_factbook_1_2010_14 neck n77_a_factbook_1_2010_16 , n77_a_factbook_1_2010_21 high n77_a_factbook_1_2010_23 fever n77_a_factbook_1_2010_25 , n77_a_factbook_1_2010_29 headaches n77_a_factbook_1_2010_31 , n77_a_factbook_1_2010_34 and n77_a_factbook_1_2010_37 vomiting n77_a_factbook_1_2010_39 ; n77_a_factbook_1_2010_1 IP-MAT n77_a_factbook_1_2010_2 NP-SBJ n77_a_factbook_1_2010_1->n77_a_factbook_1_2010_2 n77_a_factbook_1_2010_5 VBP;_Tn_ n77_a_factbook_1_2010_1->n77_a_factbook_1_2010_5 n77_a_factbook_1_2010_7 NP-OB1 n77_a_factbook_1_2010_1->n77_a_factbook_1_2010_7 n77_a_factbook_1_2010_38 PUNC n77_a_factbook_1_2010_1->n77_a_factbook_1_2010_38 n77_a_factbook_1_2010_3 NS n77_a_factbook_1_2010_2->n77_a_factbook_1_2010_3 n77_a_factbook_1_2010_3->n77_a_factbook_1_2010_4 n77_a_factbook_1_2010_5->n77_a_factbook_1_2010_6 n77_a_factbook_1_2010_8 NLYR n77_a_factbook_1_2010_7->n77_a_factbook_1_2010_8 n77_a_factbook_1_2010_9 NLYR n77_a_factbook_1_2010_8->n77_a_factbook_1_2010_9 n77_a_factbook_1_2010_15 PUNC n77_a_factbook_1_2010_8->n77_a_factbook_1_2010_15 n77_a_factbook_1_2010_17 CONJP n77_a_factbook_1_2010_8->n77_a_factbook_1_2010_17 n77_a_factbook_1_2010_24 PUNC n77_a_factbook_1_2010_8->n77_a_factbook_1_2010_24 n77_a_factbook_1_2010_26 CONJP n77_a_factbook_1_2010_8->n77_a_factbook_1_2010_26 n77_a_factbook_1_2010_30 PUNC n77_a_factbook_1_2010_8->n77_a_factbook_1_2010_30 n77_a_factbook_1_2010_32 CONJP n77_a_factbook_1_2010_8->n77_a_factbook_1_2010_32 n77_a_factbook_1_2010_10 ADJP n77_a_factbook_1_2010_9->n77_a_factbook_1_2010_10 n77_a_factbook_1_2010_13 N n77_a_factbook_1_2010_9->n77_a_factbook_1_2010_13 n77_a_factbook_1_2010_11 ADJ n77_a_factbook_1_2010_10->n77_a_factbook_1_2010_11 n77_a_factbook_1_2010_11->n77_a_factbook_1_2010_12 n77_a_factbook_1_2010_13->n77_a_factbook_1_2010_14 n77_a_factbook_1_2010_15->n77_a_factbook_1_2010_16 n77_a_factbook_1_2010_18 NLYR n77_a_factbook_1_2010_17->n77_a_factbook_1_2010_18 n77_a_factbook_1_2010_19 ADJP n77_a_factbook_1_2010_18->n77_a_factbook_1_2010_19 n77_a_factbook_1_2010_22 N n77_a_factbook_1_2010_18->n77_a_factbook_1_2010_22 n77_a_factbook_1_2010_20 ADJ n77_a_factbook_1_2010_19->n77_a_factbook_1_2010_20 n77_a_factbook_1_2010_20->n77_a_factbook_1_2010_21 n77_a_factbook_1_2010_22->n77_a_factbook_1_2010_23 n77_a_factbook_1_2010_24->n77_a_factbook_1_2010_25 n77_a_factbook_1_2010_27 NLYR n77_a_factbook_1_2010_26->n77_a_factbook_1_2010_27 n77_a_factbook_1_2010_28 NS n77_a_factbook_1_2010_27->n77_a_factbook_1_2010_28 n77_a_factbook_1_2010_28->n77_a_factbook_1_2010_29 n77_a_factbook_1_2010_30->n77_a_factbook_1_2010_31 n77_a_factbook_1_2010_33 CONJ n77_a_factbook_1_2010_32->n77_a_factbook_1_2010_33 n77_a_factbook_1_2010_35 NLYR n77_a_factbook_1_2010_32->n77_a_factbook_1_2010_35 n77_a_factbook_1_2010_33->n77_a_factbook_1_2010_34 n77_a_factbook_1_2010_36 N n77_a_factbook_1_2010_35->n77_a_factbook_1_2010_36 n77_a_factbook_1_2010_36->n77_a_factbook_1_2010_37 n77_a_factbook_1_2010_38->n77_a_factbook_1_2010_39 
( (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))