TSPC 17_a_factbook_1

17_a_factbook_1_2010
Typhoid fever - bacterial disease spread through contact with food or water contaminated by fecal matter or sewage;

( (FRAG (NP (NPR Typhoid;{Typhoid})
            (NPR fever;{fever})
            (PUNC <hyphen>)
            (PRN (NP (N bacterial;{bacterial})
                     (N disease;{disease})
                     (IP-PPL (NP-LGS *)
                             (VVN;_Tn_ spread;{spread})
                             (PP-NIM (P-ROLE through;{through})
                                     (NP (N contact;{contact})
                                         (PP (P-ROLE with;{with})
                                             (NP (NLYR (NLYR (N food;{food}))
                                                       (CONJP (CONJ or;{or})
                                                              (NLYR (N water;{water}))))
                                                 (IP-PPL (VVN;_Tn_ contaminated;{contaminate})
                                                         (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                 (NP (NLYR (NLYR (ADJP (ADJ fecal;{fecal}))
                                                                                 (N matter;{matter}))
                                                                           (CONJP (CONJ or;{or})
                                                                                  (NLYR (N sewage;{sewage})))))))))))))))
        (PUNC ;))
  (ID 17_a_factbook_1_2010))

arc(r_0017_0006__spread,r_0017_0004__bacterial_r_0017_0005__disease,inv_arg1).
arc(r_0017_0006__spread,r_0017_0008__contact,r_0017_0007__through__nim).
arc(r_0017_0006__spread,z_0017_5013___star_,arg0).
arc(r_0017_0008__contact,r_0017_0011__or,r_0017_0009__with).
arc(r_0017_0011__or,r_0017_0010__food,conj1).
arc(r_0017_0011__or,r_0017_0012__water,conj2).
arc(r_0017_0013__contaminated,r_0017_0011__or,inv_arg1).
arc(r_0017_0013__contaminated,r_0017_0017__or,r_0017_0014__by_arg0).
arc(r_0017_0016__matter,r_0017_0015__fecal,attrib).
arc(r_0017_0017__or,r_0017_0016__matter,conj1).
arc(r_0017_0017__or,r_0017_0018__sewage,conj2).
arc(z_0017_5015,r_0017_0001__Typhoid_r_0017_0002__fever,arg0).
arc(z_0017_5015,r_0017_0004__bacterial_r_0017_0005__disease,prd).
arc(z_0017_5017,r_0017_0001__Typhoid_r_0017_0002__fever,z_0017_5002).

fof(formula,axiom,
    ? [R_0017_0001__TYPHOID_R_0017_0002__FEVER,R_0017_0010__FOOD,R_0017_0012__WATER,R_0017_0015__FECAL,R_0017_0016__MATTER,R_0017_0018__SEWAGE,R_0017_0017__OR,R_0017_0013__CONTAMINATED,R_0017_0011__OR,R_0017_0008__CONTACT,Z_0017_5013___STAR_,R_0017_0006__SPREAD,R_0017_0004__BACTERIAL_R_0017_0005__DISEASE,Z_0017_5015,Z_0017_5017] :
      ( r_0017_0001__Typhoid_r_0017_0002__fever(R_0017_0001__TYPHOID_R_0017_0002__FEVER)
      & r_0017_0010__food(R_0017_0010__FOOD)
      & r_0017_0012__water(R_0017_0012__WATER)
      & r_0017_0015__fecal(R_0017_0015__FECAL)
      & r_0017_0018__sewage(R_0017_0018__SEWAGE)
      & z_0017_5013___star_(Z_0017_5013___STAR_)
      & z_0017_5017(Z_0017_5017)
      & has_z_0017_5002(Z_0017_5017,R_0017_0001__TYPHOID_R_0017_0002__FEVER)
      & z_0017_5015(Z_0017_5015)
      & has_prd(Z_0017_5015,R_0017_0004__BACTERIAL_R_0017_0005__DISEASE)
      & r_0017_0004__bacterial_r_0017_0005__disease(R_0017_0004__BACTERIAL_R_0017_0005__DISEASE)
      & has_inv_arg1(R_0017_0004__BACTERIAL_R_0017_0005__DISEASE,R_0017_0006__SPREAD)
      & r_0017_0006__spread(R_0017_0006__SPREAD)
      & has_arg0(R_0017_0006__SPREAD,Z_0017_5013___STAR_)
      & has_r_0017_0007__through__nim(R_0017_0006__SPREAD,R_0017_0008__CONTACT)
      & r_0017_0008__contact(R_0017_0008__CONTACT)
      & has_r_0017_0009__with(R_0017_0008__CONTACT,R_0017_0011__OR)
      & r_0017_0011__or(R_0017_0011__OR)
      & has_inv_arg1(R_0017_0011__OR,R_0017_0013__CONTAMINATED)
      & r_0017_0013__contaminated(R_0017_0013__CONTAMINATED)
      & has_r_0017_0014__by_arg0(R_0017_0013__CONTAMINATED,R_0017_0017__OR)
      & r_0017_0017__or(R_0017_0017__OR)
      & has_conj2(R_0017_0017__OR,R_0017_0018__SEWAGE)
      & has_conj1(R_0017_0017__OR,R_0017_0016__MATTER)
      & r_0017_0016__matter(R_0017_0016__MATTER)
      & has_attrib(R_0017_0016__MATTER,R_0017_0015__FECAL)
      & has_conj2(R_0017_0011__OR,R_0017_0012__WATER)
      & has_conj1(R_0017_0011__OR,R_0017_0010__FOOD)
      & has_arg0(Z_0017_5015,R_0017_0001__TYPHOID_R_0017_0002__FEVER) ) ).