Three people walk on the rocks near the water.
Three people walk at the mall.
The people cannot be at the mall and walking on rocks near the water at the same time.
exists e1 x1 x2 x3 x4.(n_water(x4) & n_rock(x3) & a_topic(x1) & on(e1,x3) & near(x3,x4) & Theme(e1,x2) & v_walk(e1) & (x1 = x2) & n_people(x1) & card_eq_3(x1))
exists e1 x1 x2 x3.(n_mall(x3) & a_topic(x1) & at(e1,x3) & Theme(e1,x2) & v_walk(e1) & (x1 = x2) & n_people(x1) & card_eq_3(x1))