A black dog shakes itself dry on the beach in front of the waves.
the dog was swimming
Being at the beach does not imply that the dog is swimming.
exists e1 p1 s1 x1 x2 x3 x4.(n_wave(x4) & n_beach(x3) & in(e1,x2) & of(x2,x4) & n_front(x2) & on(e1,x3) & exists s2.(Theme(s2,x2) & a_dry(s2)) & Recipient(e1,p1) & Actor(e1,x1) & Topic(e1,x2) & v_shake(e1) & n_thing(x2) & n_dog(x1) & a_black(s1) & Theme(s1,x1))
exists p1 x1.(n_dog(x1) & exists x2.((x1 = x2) & n_swimming(x2)))