If the tide comes in, the man's tennis shoes will get wet.
the man is waring tennis shoes and is near the shore.
Man is not often considered to be waring with his tennis shoes.
exists x1 x2 x3 x4.(n_shoe(x3) & of(x3,x4) & n_tennis(x4) & of(x3,x2) & n_man(x2) & n_tide(x1) & all e1 s1.((a_in(s1) & Manner(e1,s1) & Actor(e1,x1) & v_come(e1)) -> exists e2 p1.(exists s2.(Theme(s2,x3) & a_wet(s2)) & Topic(e2,p1) & Actor(e2,x3) & v_get(e2))))
exists e1 p1 x1 x2 x3 x4.(n_shore(x4) & n_man(x1) & near(x1,x4) & Theme(e1,x2) & Actor(e1,x1) & v_ware(e1) & n_shoe(x2) & of(x2,x3) & n_tennis(x3))