People are strolling across some stores.
The people are inside the stores.
Strolling across stores involves passing the stores and can not also be inside the stores.
exists e1 x1 x2.(across(e1,x2) & n_store(x2) & Actor(e1,x1) & v_stroll(e1) & n_people(x1))
exists p1 x1 x2.(n_store(x2) & n_people(x1) & inside(x1,x2))