Context                Previous, Next                Top


12_a_factbook_1_2010
victims exhibit fever, jaundice, and diarrhea;

%3 r_0012_0002__exhibit exhibit r_0012_0001__victims victims r_0012_0002__exhibit->r_0012_0001__victims [arg0] r_0012_0007__and and r_0012_0002__exhibit->r_0012_0007__and [arg1] r_0012_0003__fever fever r_0012_0007__and->r_0012_0003__fever [conj1] r_0012_0005__jaundice jaundice r_0012_0007__and->r_0012_0005__jaundice [conj2] r_0012_0008__diarrhea diarrhea r_0012_0007__and->r_0012_0008__diarrhea [conj3] 
arc(r_0012_0002__exhibit, r_0012_0001__victims, arg0).
arc(r_0012_0002__exhibit, r_0012_0007__and, arg1).
arc(r_0012_0007__and, r_0012_0003__fever, conj1).
arc(r_0012_0007__and, r_0012_0005__jaundice, conj2).
arc(r_0012_0007__and, r_0012_0008__diarrhea, conj3).


%3 r_0012_0007__and and r_0012_0008__diarrhea diarrhea r_0012_0007__and->r_0012_0008__diarrhea [conj3] r_0012_0005__jaundice jaundice r_0012_0007__and->r_0012_0005__jaundice [conj2] r_0012_0003__fever fever r_0012_0007__and->r_0012_0003__fever [conj1] r_0012_0002__exhibit exhibit r_0012_0002__exhibit->r_0012_0007__and [arg1] r_0012_0001__victims victims r_0012_0002__exhibit->r_0012_0001__victims [arg0] 
fof(formula,axiom,
    ? [R_12_2_EXHIBIT,R_12_1_VICTIMS,R_12_7_AND,R_12_3_FEVER,R_12_5_JAUNDICE,R_12_8_DIARRHEA] :
      ( victims(R_12_1_VICTIMS)
      & fever(R_12_3_FEVER)
      & jaundice(R_12_5_JAUNDICE)
      & diarrhea(R_12_8_DIARRHEA)
      & exhibit(R_12_2_EXHIBIT,R_12_1_VICTIMS,R_12_7_AND)
      & and(R_12_7_AND)
      & conj1(R_12_7_AND,R_12_3_FEVER)
      & conj2(R_12_7_AND,R_12_5_JAUNDICE)
      & conj3(R_12_7_AND,R_12_8_DIARRHEA) ) ).


n12_a_factbook_1_2010 n12_a_factbook_1_2010__1_1_1_1 victims n12_a_factbook_1_2010__1_2_1 exhibit n12_a_factbook_1_2010__1_3_1_1_1_1 fever n12_a_factbook_1_2010__1_3_1_2_1 , n12_a_factbook_1_2010__1_3_1_3_1_1_1 jaundice n12_a_factbook_1_2010__1_3_1_4_1 , n12_a_factbook_1_2010__1_3_1_5_1_1 and n12_a_factbook_1_2010__1_3_1_5_2_1_1 diarrhea n12_a_factbook_1_2010__1_4_1 ; n12_a_factbook_1_2010__1 IP-MAT n12_a_factbook_1_2010__1_1 NP-SBJ n12_a_factbook_1_2010__1->n12_a_factbook_1_2010__1_1 n12_a_factbook_1_2010__1_2 VBP;_Tn_ n12_a_factbook_1_2010__1->n12_a_factbook_1_2010__1_2 n12_a_factbook_1_2010__1_3 NP-OB1 n12_a_factbook_1_2010__1->n12_a_factbook_1_2010__1_3 n12_a_factbook_1_2010__1_4 PUNC n12_a_factbook_1_2010__1->n12_a_factbook_1_2010__1_4 n12_a_factbook_1_2010__1_1_1 NS n12_a_factbook_1_2010__1_1->n12_a_factbook_1_2010__1_1_1 n12_a_factbook_1_2010__1_1_1->n12_a_factbook_1_2010__1_1_1_1 n12_a_factbook_1_2010__1_2->n12_a_factbook_1_2010__1_2_1 n12_a_factbook_1_2010__1_3_1 NLYR n12_a_factbook_1_2010__1_3->n12_a_factbook_1_2010__1_3_1 n12_a_factbook_1_2010__1_3_1_1 NLYR n12_a_factbook_1_2010__1_3_1->n12_a_factbook_1_2010__1_3_1_1 n12_a_factbook_1_2010__1_3_1_2 PUNC n12_a_factbook_1_2010__1_3_1->n12_a_factbook_1_2010__1_3_1_2 n12_a_factbook_1_2010__1_3_1_3 CONJP n12_a_factbook_1_2010__1_3_1->n12_a_factbook_1_2010__1_3_1_3 n12_a_factbook_1_2010__1_3_1_4 PUNC n12_a_factbook_1_2010__1_3_1->n12_a_factbook_1_2010__1_3_1_4 n12_a_factbook_1_2010__1_3_1_5 CONJP n12_a_factbook_1_2010__1_3_1->n12_a_factbook_1_2010__1_3_1_5 n12_a_factbook_1_2010__1_3_1_1_1 N n12_a_factbook_1_2010__1_3_1_1->n12_a_factbook_1_2010__1_3_1_1_1 n12_a_factbook_1_2010__1_3_1_1_1->n12_a_factbook_1_2010__1_3_1_1_1_1 n12_a_factbook_1_2010__1_3_1_2->n12_a_factbook_1_2010__1_3_1_2_1 n12_a_factbook_1_2010__1_3_1_3_1 NLYR n12_a_factbook_1_2010__1_3_1_3->n12_a_factbook_1_2010__1_3_1_3_1 n12_a_factbook_1_2010__1_3_1_3_1_1 N n12_a_factbook_1_2010__1_3_1_3_1->n12_a_factbook_1_2010__1_3_1_3_1_1 n12_a_factbook_1_2010__1_3_1_3_1_1->n12_a_factbook_1_2010__1_3_1_3_1_1_1 n12_a_factbook_1_2010__1_3_1_4->n12_a_factbook_1_2010__1_3_1_4_1 n12_a_factbook_1_2010__1_3_1_5_1 CONJ n12_a_factbook_1_2010__1_3_1_5->n12_a_factbook_1_2010__1_3_1_5_1 n12_a_factbook_1_2010__1_3_1_5_2 NLYR n12_a_factbook_1_2010__1_3_1_5->n12_a_factbook_1_2010__1_3_1_5_2 n12_a_factbook_1_2010__1_3_1_5_1->n12_a_factbook_1_2010__1_3_1_5_1_1 n12_a_factbook_1_2010__1_3_1_5_2_1 N n12_a_factbook_1_2010__1_3_1_5_2->n12_a_factbook_1_2010__1_3_1_5_2_1 n12_a_factbook_1_2010__1_3_1_5_2_1->n12_a_factbook_1_2010__1_3_1_5_2_1_1 n12_a_factbook_1_2010__1_4->n12_a_factbook_1_2010__1_4_1 
( (IP-MAT (NP-SBJ (NS victims;{victim}))
          (VBP;_Tn_ exhibit;{exhibit})
          (NP-OB1 (NLYR (NLYR (N fever;{fever}))
                        (PUNC ,)
                        (CONJP (NLYR (N jaundice;{jaundice})))
                        (PUNC ,)
                        (CONJP (CONJ and;{and})
                               (NLYR (N diarrhea;{diarrhea})))))
          (PUNC ;))
  (ID 12_a_factbook_1_2010))