If the tide comes in, the man's tennis shoes will get wet.
the man is on the shore
Just because he is on the shore we cant assume he is wearing shoes or is close to the water.
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 p1 x1 x2.(n_shore(x2) & n_man(x1) & on(x1,x2))