A rock climber checks his rope before holding on to the next spot on the rock.
The climber is on a mountain.
Being a rock climber doesn't imply he's on a mountain.
(-x)
exists p1 x1.(n_climber(x1) & exists x2.(on(x1,x2) & n_mountain(x2)))