TSPC 59_a_factbook_1

59_a_factbook_1_2010
infection occurs through contact with water, food, or soil contaminated by animal urine;

( (IP-MAT (NP-SBJ (N infection;{infection}))
          (VBP;_I_ occurs;{occur})
          (PP-NIM (P-ROLE through;{through})
                  (NP (N contact;{contact})
                      (PP (P-ROLE with;{with})
                          (NP (NLYR (NLYR (N water;{water}))
                                    (PUNC ,)
                                    (CONJP (NLYR (N food;{food})))
                                    (PUNC ,)
                                    (CONJP (CONJ or;{or})
                                           (NLYR (N soil;{soil}))))
                              (IP-PPL (VVN;_Tn_ contaminated;{contaminate})
                                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                                              (NP (N animal;{animal})
                                                  (N urine;{urine}))))))))
          (PUNC ;))
  (ID 59_a_factbook_1_2010))

arc(r_0059_0002__occurs,r_0059_0001__infection,arg0).
arc(r_0059_0002__occurs,r_0059_0004__contact,r_0059_0003__through__nim).
arc(r_0059_0004__contact,r_0059_0010__or,r_0059_0005__with).
arc(r_0059_0010__or,r_0059_0006__water,conj1).
arc(r_0059_0010__or,r_0059_0008__food,conj2).
arc(r_0059_0010__or,r_0059_0011__soil,conj3).
arc(r_0059_0012__contaminated,r_0059_0010__or,inv_arg1).
arc(r_0059_0012__contaminated,r_0059_0014__animal_r_0059_0015__urine,r_0059_0013__by_arg0).

fof(formula,axiom,
    ? [R_0059_0001__INFECTION,R_0059_0006__WATER,R_0059_0008__FOOD,R_0059_0011__SOIL,R_0059_0014__ANIMAL_R_0059_0015__URINE,R_0059_0012__CONTAMINATED,R_0059_0010__OR,R_0059_0004__CONTACT,R_0059_0002__OCCURS] :
      ( r_0059_0001__infection(R_0059_0001__INFECTION)
      & r_0059_0006__water(R_0059_0006__WATER)
      & r_0059_0008__food(R_0059_0008__FOOD)
      & r_0059_0011__soil(R_0059_0011__SOIL)
      & r_0059_0014__animal_r_0059_0015__urine(R_0059_0014__ANIMAL_R_0059_0015__URINE)
      & r_0059_0002__occurs(R_0059_0002__OCCURS)
      & has_r_0059_0003__through__nim(R_0059_0002__OCCURS,R_0059_0004__CONTACT)
      & r_0059_0004__contact(R_0059_0004__CONTACT)
      & has_r_0059_0005__with(R_0059_0004__CONTACT,R_0059_0010__OR)
      & r_0059_0010__or(R_0059_0010__OR)
      & has_inv_arg1(R_0059_0010__OR,R_0059_0012__CONTAMINATED)
      & r_0059_0012__contaminated(R_0059_0012__CONTAMINATED)
      & has_r_0059_0013__by_arg0(R_0059_0012__CONTAMINATED,R_0059_0014__ANIMAL_R_0059_0015__URINE)
      & has_conj3(R_0059_0010__OR,R_0059_0011__SOIL)
      & has_conj2(R_0059_0010__OR,R_0059_0008__FOOD)
      & has_conj1(R_0059_0010__OR,R_0059_0006__WATER)
      & has_arg0(R_0059_0002__OCCURS,R_0059_0001__INFECTION) ) ).