A man standing on top of some big rocks overlooking a sea on a secluded beach with is hand over his eyes trying to look far off at something.
A girl is swimming.
A girl is different than a man. A person is unable to swim and stand at the same time.
(-x)
exists p1 x1.(exists x2.((x1 = x2) & n_swimming(x2)) & n_girl(x1))