A group of people congregate in the street.
The people are at Walmart.
The group of people cannot be at Walmart and in the street at the same time.
exists e1 x1 x2 x3.(n_street(x3) & in(e1,x3) & Actor(e1,x1) & v_congregate(e1) & of(x1,x2) & n_people(x2) & n_group(x1))
exists p1 x1 x2.(ne_geo_walmart(x2) & n_people(x1) & at(x1,x2))