A windsurfer speeds towards the beach.
The windsurfer is sitting on the beach.
One may not be heading towards the beach and be on the beach at the same time
exists e1 x1 x2.(n_beach(x2) & towards(e1,x2) & Actor(e1,x1) & v_speed(e1) & n_windsurfer(x1))
exists e1 x1 x2.(n_beach(x2) & n_windsurfer(x1) & on(e1,x2) & Actor(e1,x1) & v_sit(e1))