A man and his dog on the top of a mountain.
The man and his dog are at the bottom of the mountain.
You can only be at the top of or the bottom of the mountain but not both.
exists s1 x1 x2 x3 x4.(n_top(x3) & a_topic(s1) & subset_of(x2,s1) & on(x2,x3) & of(x3,x4) & n_mountain(x4) & n_dog(x2) & of(x2,x1) & n_male(x1) & subset_of(x1,s1) & n_man(x1))
exists p1 x1 x2 x3 x4 x5.(n_mountain(x5) & n_bottom(x4) & n_dog(x3) & of(x3,x2) & n_male(x2) & n_man(x2) & at(x1,x4) & of(x4,x5) & subset_of(x3,x1) & subset_of(x2,x1))