Two mountain climbers are smiling on the mountainside.
Two mountain climbers are at the base of the mountain.
The mountain climbers cannot simultaneously be at the base of the mountain and on the mountainside.
exists e1 x1 x2 x3.(n_mountainside(x3) & on(e1,x3) & Actor(e1,x1) & v_smile(e1) & n_climber(x1) & of(x1,x2) & n_mountain(x2) & card_eq_2(x1))
exists p1 x1 x2 x3.(n_base(x3) & at(x1,x3) & of(x3,x2) & n_mountain(x2) & n_mountain(x2) & n_climber(x1) & of(x1,x2) & card_eq_2(x1))