TSPC 57_a_factbook_1

57_a_factbook_1_2010
water contact diseases acquired through swimming or wading in freshwater lakes, streams, and rivers:

( (FRAG (NP (N water;{water})
            (N contact;{contact})
            (NS diseases;{disease})
            (IP-PPL (NP-LGS *)
                    (VVN;_Tn_ acquired;{acquire})
                    (PP-NIM (P-ROLE through;{through})
                            (IP-PPL3 (ILYR (ILYR (VAG;_I_ swimming;{swim}))
                                           (CONJP (CONJ or;{or})
                                                  (ILYR (VAG;_I_ wading;{wade}))))
                                     (PP-NIM (P-ROLE in;{in})
                                             (NP (NLYR (NLYR (N freshwater;{freshwater})
                                                             (NS lakes;{lake}))
                                                       (PUNC ,)
                                                       (CONJP (NLYR (NS streams;{stream})))
                                                       (PUNC ,)
                                                       (CONJP (CONJ and;{and})
                                                              (NLYR (NS rivers;{river}))))))))))
        (PUNC :))
  (ID 57_a_factbook_1_2010))

arc(r_0057_0004__acquired,r_0057_0001__water_r_0057_0002__contact_r_0057_0003__diseases,inv_arg1).
arc(r_0057_0004__acquired,r_0057_0007__or,r_0057_0005__through__nim).
arc(r_0057_0004__acquired,z_0057_5014___star_,arg0).
arc(r_0057_0006__swimming,r_0057_0015__and,r_0057_0009__in__nim).
arc(r_0057_0006__swimming,z_0057_5006,arg0).
arc(r_0057_0007__or,r_0057_0006__swimming,conj1).
arc(r_0057_0007__or,r_0057_0008__wading,conj2).
arc(r_0057_0008__wading,r_0057_0015__and,r_0057_0009__in__nim).
arc(r_0057_0008__wading,z_0057_5006,arg0).
arc(r_0057_0015__and,r_0057_0010__freshwater_r_0057_0011__lakes,conj1).
arc(r_0057_0015__and,r_0057_0013__streams,conj2).
arc(r_0057_0015__and,r_0057_0016__rivers,conj3).
arc(z_0057_5016,r_0057_0001__water_r_0057_0002__contact_r_0057_0003__diseases,z_0057_5002).

fof(formula,axiom,
    ? [R_0057_0010__FRESHWATER_R_0057_0011__LAKES,R_0057_0013__STREAMS,R_0057_0016__RIVERS,R_0057_0015__AND,Z_0057_5006,R_0057_0006__SWIMMING,R_0057_0008__WADING,R_0057_0007__OR,Z_0057_5014___STAR_,R_0057_0004__ACQUIRED,R_0057_0001__WATER_R_0057_0002__CONTACT_R_0057_0003__DISEASES,Z_0057_5016] :
      ( r_0057_0010__freshwater_r_0057_0011__lakes(R_0057_0010__FRESHWATER_R_0057_0011__LAKES)
      & r_0057_0013__streams(R_0057_0013__STREAMS)
      & r_0057_0016__rivers(R_0057_0016__RIVERS)
      & z_0057_5006(Z_0057_5006)
      & z_0057_5014___star_(Z_0057_5014___STAR_)
      & z_0057_5016(Z_0057_5016)
      & has_z_0057_5002(Z_0057_5016,R_0057_0001__WATER_R_0057_0002__CONTACT_R_0057_0003__DISEASES)
      & r_0057_0001__water_r_0057_0002__contact_r_0057_0003__diseases(R_0057_0001__WATER_R_0057_0002__CONTACT_R_0057_0003__DISEASES)
      & has_inv_arg1(R_0057_0001__WATER_R_0057_0002__CONTACT_R_0057_0003__DISEASES,R_0057_0004__ACQUIRED)
      & r_0057_0004__acquired(R_0057_0004__ACQUIRED)
      & has_arg0(R_0057_0004__ACQUIRED,Z_0057_5014___STAR_)
      & has_r_0057_0005__through__nim(R_0057_0004__ACQUIRED,R_0057_0007__OR)
      & r_0057_0007__or(R_0057_0007__OR)
      & has_conj2(R_0057_0007__OR,R_0057_0008__WADING)
      & r_0057_0008__wading(R_0057_0008__WADING)
      & has_arg0(R_0057_0008__WADING,Z_0057_5006)
      & has_r_0057_0009__in__nim(R_0057_0008__WADING,R_0057_0015__AND)
      & r_0057_0015__and(R_0057_0015__AND)
      & has_conj3(R_0057_0015__AND,R_0057_0016__RIVERS)
      & has_conj2(R_0057_0015__AND,R_0057_0013__STREAMS)
      & has_conj1(R_0057_0015__AND,R_0057_0010__FRESHWATER_R_0057_0011__LAKES)
      & has_conj1(R_0057_0007__OR,R_0057_0006__SWIMMING)
      & r_0057_0006__swimming(R_0057_0006__SWIMMING)
      & has_arg0(R_0057_0006__SWIMMING,Z_0057_5006)
      & has_r_0057_0009__in__nim(R_0057_0006__SWIMMING,R_0057_0015__AND) ) ).