A surfer has just fallen off his surfboard and only his feet are visible above the water.
The man is relaxing on the beach.
One cannot be surfboarding and be relaxing on the beach  simultaneously.
exists e1 s1 s2 s3 x1 x2 x3 x4 x5 x6.(n_water(x6) & above(s3,x6) & Theme(s3,x2) & a_visible(s3) & all x7.(subset_of(x7,x2) -> (x4 = x7)) & (x4 = x5) & subset_of(x5,x2) & n_foot(x5) & of(x5,x1) & n_male(x1) & n_male(x1) & subset_of(x3,x2) & n_surfboard(x3) & of(x3,x1) & a_just(s2) & Manner(e1,s2) & a_off(s1) & Manner(e1,s1) & Actor(e1,x1) & v_fall(e1) & n_surfer(x1))
exists e1 x1 x2.(n_beach(x2) & n_man(x1) & on(e1,x2) & Actor(e1,x1) & v_relax(e1))