Only feet are visible above the water.
Only faces can be seen above water.
feet are bottom of the body and face at top so they cannot be same part.
exists s1 x1 x2.(n_water(x2) & above(s1,x2) & Theme(s1,x1) & a_visible(s1) & all x3.(n_foot(x3) -> (x1 = x3)) & n_foot(x1))
exists e1 p1 x1.(exists e2 x3.(above(e2,x3) & n_water(x3) & Theme(e2,x1) & v_see(e2)) & Topic(e1,p1) & Actor(e1,x1) & v_can(e1) & all x2.(n_face(x2) -> (x1 = x2)) & n_face(x1))