A man is sitting outdoors at the edge of a body of water.
A man is at the beach.
Not all bodies of water have a beach.
exists p1 x1 x3.(n_edge(x3) & exists e1 x2 x4 x5.((x1 = x2) & at(x2,x3) & of(x3,x4) & of(x4,x5) & n_water(x5) & n_body(x4) & n_outdoors(x2) & Actor(e1,x2) & v_sit(e1)) & n_man(x1))
exists p1 x1 x2.(n_beach(x2) & at(x1,x2) & n_man(x1))