Context                Previous, Next                Top


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

%3 r_0057_0004__acquired acquired r_0057_0001__water_r_0057_0002__contact_r_0057_0003__diseases water contact diseases r_0057_0004__acquired->r_0057_0001__water_r_0057_0002__contact_r_0057_0003__diseases [arg1] r_0057_0007__or or r_0057_0004__acquired->r_0057_0007__or through [nim] z_000_57_a_factbook_1_2010_10 r_0057_0004__acquired->z_000_57_a_factbook_1_2010_10 [arg0] r_0057_0006__swimming swimming r_0057_0007__or->r_0057_0006__swimming [conj1] r_0057_0008__wading wading r_0057_0007__or->r_0057_0008__wading [conj2] r_0057_0015__and and r_0057_0006__swimming->r_0057_0015__and in [nim] z_000_57_a_factbook_1_2010_17 r_0057_0006__swimming->z_000_57_a_factbook_1_2010_17 [arg0] r_0057_0010__freshwater_r_0057_0011__lakes freshwater lakes r_0057_0015__and->r_0057_0010__freshwater_r_0057_0011__lakes [conj1] r_0057_0013__streams streams r_0057_0015__and->r_0057_0013__streams [conj2] r_0057_0016__rivers rivers r_0057_0015__and->r_0057_0016__rivers [conj3] r_0057_0008__wading->r_0057_0015__and in [nim] r_0057_0008__wading->z_000_57_a_factbook_1_2010_17 [arg0] z_000_57_a_factbook_1_2010_1 z_000_57_a_factbook_1_2010_1->r_0057_0001__water_r_0057_0002__contact_r_0057_0003__diseases [nim] 
arc(r_0057_0004__acquired, r_0057_0001__water_r_0057_0002__contact_r_0057_0003__diseases, arg1).
arc(r_0057_0004__acquired, r_0057_0007__or, r_0057_0005__through_nim17).
arc(r_0057_0004__acquired, z_000_57_a_factbook_1_2010_10, arg0).
arc(r_0057_0006__swimming, r_0057_0015__and, r_0057_0009__in_nim31).
arc(r_0057_0006__swimming, z_000_57_a_factbook_1_2010_17, 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_nim31).
arc(r_0057_0008__wading, z_000_57_a_factbook_1_2010_17, 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_000_57_a_factbook_1_2010_1, r_0057_0001__water_r_0057_0002__contact_r_0057_0003__diseases, nim2).


%3 z_000_57_a_factbook_1_2010_1 r_0057_0001__water_r_0057_0002__contact_r_0057_0003__diseases water contact diseases z_000_57_a_factbook_1_2010_1->r_0057_0001__water_r_0057_0002__contact_r_0057_0003__diseases [nim] r_0057_0015__and and r_0057_0016__rivers rivers r_0057_0015__and->r_0057_0016__rivers [conj3] r_0057_0013__streams streams r_0057_0015__and->r_0057_0013__streams [conj2] r_0057_0010__freshwater_r_0057_0011__lakes freshwater lakes r_0057_0015__and->r_0057_0010__freshwater_r_0057_0011__lakes [conj1] r_0057_0008__wading wading r_0057_0008__wading->r_0057_0015__and in [nim] z_000_57_a_factbook_1_2010_17 r_0057_0008__wading->z_000_57_a_factbook_1_2010_17 [arg0] r_0057_0007__or or r_0057_0007__or->r_0057_0008__wading [conj2] r_0057_0006__swimming swimming r_0057_0007__or->r_0057_0006__swimming [conj1] r_0057_0006__swimming->r_0057_0015__and in [nim] r_0057_0006__swimming->z_000_57_a_factbook_1_2010_17 [arg0] r_0057_0004__acquired acquired r_0057_0004__acquired->r_0057_0001__water_r_0057_0002__contact_r_0057_0003__diseases [arg1] r_0057_0004__acquired->r_0057_0007__or through [nim] z_000_57_a_factbook_1_2010_10 r_0057_0004__acquired->z_000_57_a_factbook_1_2010_10 [arg0] 
fof(formula,axiom,
    ? [R_57_4_ACQUIRED,Z_57_A_FACTBOOK_1_2010_10,R_57_7_OR,R_57_6_SWIMMING,R_57_8_WADING,Z_57_A_FACTBOOK_1_2010_17,R_57_15_AND,R_57_10_FRESHWATER_LAKES,R_57_13_STREAMS,R_57_16_RIVERS,Z_57_A_FACTBOOK_1_2010_1,R_57_1_WATER_CONTACT_DISEASES] :
      ( freshwater_lakes(R_57_10_FRESHWATER_LAKES)
      & streams(R_57_13_STREAMS)
      & rivers(R_57_16_RIVERS)
      & water_contact_diseases(R_57_1_WATER_CONTACT_DISEASES)
      & acquired(R_57_4_ACQUIRED,Z_57_A_FACTBOOK_1_2010_10,R_57_1_WATER_CONTACT_DISEASES)
      & through_nim17(R_57_4_ACQUIRED,R_57_7_OR)
      & or(R_57_7_OR)
      & conj1(R_57_7_OR,R_57_6_SWIMMING)
      & swimming(R_57_6_SWIMMING,Z_57_A_FACTBOOK_1_2010_17)
      & in_nim31(R_57_6_SWIMMING,R_57_15_AND)
      & and(R_57_15_AND)
      & conj1(R_57_15_AND,R_57_10_FRESHWATER_LAKES)
      & conj2(R_57_15_AND,R_57_13_STREAMS)
      & conj3(R_57_15_AND,R_57_16_RIVERS)
      & conj2(R_57_7_OR,R_57_8_WADING)
      & wading(R_57_8_WADING,Z_57_A_FACTBOOK_1_2010_17)
      & in_nim31(R_57_8_WADING,R_57_15_AND)
      & z_57_a_factbook_1_2010_1(Z_57_A_FACTBOOK_1_2010_1)
      & nim2(Z_57_A_FACTBOOK_1_2010_1,R_57_1_WATER_CONTACT_DISEASES) ) ).


n57_a_factbook_1_2010 n57_a_factbook_1_2010__1_1_1_1 water n57_a_factbook_1_2010__1_1_2_1 contact n57_a_factbook_1_2010__1_1_3_1 diseases n57_a_factbook_1_2010__1_1_4_1_1 * n57_a_factbook_1_2010__1_1_4_2_1 acquired n57_a_factbook_1_2010__1_1_4_3_1_1 through n57_a_factbook_1_2010__1_1_4_3_2_1_1_1_1 swimming n57_a_factbook_1_2010__1_1_4_3_2_1_2_1_1 or n57_a_factbook_1_2010__1_1_4_3_2_1_2_2_1_1 wading n57_a_factbook_1_2010__1_1_4_3_2_2_1_1 in n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_1_1_1 freshwater n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_1_2_1 lakes n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_2_1 , n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_3_1_1_1 streams n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_4_1 , n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_5_1_1 and n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_5_2_1_1 rivers n57_a_factbook_1_2010__1_2_1 : n57_a_factbook_1_2010__1 FRAG n57_a_factbook_1_2010__1_1 NP n57_a_factbook_1_2010__1->n57_a_factbook_1_2010__1_1 n57_a_factbook_1_2010__1_2 PUNC n57_a_factbook_1_2010__1->n57_a_factbook_1_2010__1_2 n57_a_factbook_1_2010__1_1_1 N n57_a_factbook_1_2010__1_1->n57_a_factbook_1_2010__1_1_1 n57_a_factbook_1_2010__1_1_2 N n57_a_factbook_1_2010__1_1->n57_a_factbook_1_2010__1_1_2 n57_a_factbook_1_2010__1_1_3 NS n57_a_factbook_1_2010__1_1->n57_a_factbook_1_2010__1_1_3 n57_a_factbook_1_2010__1_1_4 IP-PPL n57_a_factbook_1_2010__1_1->n57_a_factbook_1_2010__1_1_4 n57_a_factbook_1_2010__1_1_1->n57_a_factbook_1_2010__1_1_1_1 n57_a_factbook_1_2010__1_1_2->n57_a_factbook_1_2010__1_1_2_1 n57_a_factbook_1_2010__1_1_3->n57_a_factbook_1_2010__1_1_3_1 n57_a_factbook_1_2010__1_1_4_1 NP-LGS n57_a_factbook_1_2010__1_1_4->n57_a_factbook_1_2010__1_1_4_1 n57_a_factbook_1_2010__1_1_4_2 VVN;_Tn_ n57_a_factbook_1_2010__1_1_4->n57_a_factbook_1_2010__1_1_4_2 n57_a_factbook_1_2010__1_1_4_3 PP-NIM n57_a_factbook_1_2010__1_1_4->n57_a_factbook_1_2010__1_1_4_3 n57_a_factbook_1_2010__1_1_4_1->n57_a_factbook_1_2010__1_1_4_1_1 n57_a_factbook_1_2010__1_1_4_2->n57_a_factbook_1_2010__1_1_4_2_1 n57_a_factbook_1_2010__1_1_4_3_1 P-ROLE n57_a_factbook_1_2010__1_1_4_3->n57_a_factbook_1_2010__1_1_4_3_1 n57_a_factbook_1_2010__1_1_4_3_2 IP-PPL3 n57_a_factbook_1_2010__1_1_4_3->n57_a_factbook_1_2010__1_1_4_3_2 n57_a_factbook_1_2010__1_1_4_3_1->n57_a_factbook_1_2010__1_1_4_3_1_1 n57_a_factbook_1_2010__1_1_4_3_2_1 ILYR n57_a_factbook_1_2010__1_1_4_3_2->n57_a_factbook_1_2010__1_1_4_3_2_1 n57_a_factbook_1_2010__1_1_4_3_2_2 PP-NIM n57_a_factbook_1_2010__1_1_4_3_2->n57_a_factbook_1_2010__1_1_4_3_2_2 n57_a_factbook_1_2010__1_1_4_3_2_1_1 ILYR n57_a_factbook_1_2010__1_1_4_3_2_1->n57_a_factbook_1_2010__1_1_4_3_2_1_1 n57_a_factbook_1_2010__1_1_4_3_2_1_2 CONJP n57_a_factbook_1_2010__1_1_4_3_2_1->n57_a_factbook_1_2010__1_1_4_3_2_1_2 n57_a_factbook_1_2010__1_1_4_3_2_1_1_1 VAG;_I_ n57_a_factbook_1_2010__1_1_4_3_2_1_1->n57_a_factbook_1_2010__1_1_4_3_2_1_1_1 n57_a_factbook_1_2010__1_1_4_3_2_1_1_1->n57_a_factbook_1_2010__1_1_4_3_2_1_1_1_1 n57_a_factbook_1_2010__1_1_4_3_2_1_2_1 CONJ n57_a_factbook_1_2010__1_1_4_3_2_1_2->n57_a_factbook_1_2010__1_1_4_3_2_1_2_1 n57_a_factbook_1_2010__1_1_4_3_2_1_2_2 ILYR n57_a_factbook_1_2010__1_1_4_3_2_1_2->n57_a_factbook_1_2010__1_1_4_3_2_1_2_2 n57_a_factbook_1_2010__1_1_4_3_2_1_2_1->n57_a_factbook_1_2010__1_1_4_3_2_1_2_1_1 n57_a_factbook_1_2010__1_1_4_3_2_1_2_2_1 VAG;_I_ n57_a_factbook_1_2010__1_1_4_3_2_1_2_2->n57_a_factbook_1_2010__1_1_4_3_2_1_2_2_1 n57_a_factbook_1_2010__1_1_4_3_2_1_2_2_1->n57_a_factbook_1_2010__1_1_4_3_2_1_2_2_1_1 n57_a_factbook_1_2010__1_1_4_3_2_2_1 P-ROLE n57_a_factbook_1_2010__1_1_4_3_2_2->n57_a_factbook_1_2010__1_1_4_3_2_2_1 n57_a_factbook_1_2010__1_1_4_3_2_2_2 NP n57_a_factbook_1_2010__1_1_4_3_2_2->n57_a_factbook_1_2010__1_1_4_3_2_2_2 n57_a_factbook_1_2010__1_1_4_3_2_2_1->n57_a_factbook_1_2010__1_1_4_3_2_2_1_1 n57_a_factbook_1_2010__1_1_4_3_2_2_2_1 NLYR n57_a_factbook_1_2010__1_1_4_3_2_2_2->n57_a_factbook_1_2010__1_1_4_3_2_2_2_1 n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_1 NLYR n57_a_factbook_1_2010__1_1_4_3_2_2_2_1->n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_1 n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_2 PUNC n57_a_factbook_1_2010__1_1_4_3_2_2_2_1->n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_2 n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_3 CONJP n57_a_factbook_1_2010__1_1_4_3_2_2_2_1->n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_3 n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_4 PUNC n57_a_factbook_1_2010__1_1_4_3_2_2_2_1->n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_4 n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_5 CONJP n57_a_factbook_1_2010__1_1_4_3_2_2_2_1->n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_5 n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_1_1 N n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_1->n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_1_1 n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_1_2 NS n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_1->n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_1_2 n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_1_1->n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_1_1_1 n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_1_2->n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_1_2_1 n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_2->n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_2_1 n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_3_1 NLYR n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_3->n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_3_1 n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_3_1_1 NS n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_3_1->n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_3_1_1 n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_3_1_1->n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_3_1_1_1 n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_4->n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_4_1 n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_5_1 CONJ n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_5->n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_5_1 n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_5_2 NLYR n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_5->n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_5_2 n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_5_1->n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_5_1_1 n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_5_2_1 NS n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_5_2->n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_5_2_1 n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_5_2_1->n57_a_factbook_1_2010__1_1_4_3_2_2_2_1_5_2_1_1 n57_a_factbook_1_2010__1_2->n57_a_factbook_1_2010__1_2_1 
( (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))