A man among steep and snowy mountains.
The person is at the supermarket.
Snowy mountains are not supermarkets.
exists s1 s2 x1 x2.(a_topic(x1) & among(x1,x2) & n_mountain(x2) & a_snowy(s2) & Theme(s2,x2) & a_steep(s1) & Theme(s1,x2) & n_man(x1))
exists p1 x1 x2.(n_supermarket(x2) & n_person(x1) & at(x1,x2))