People walking through the mall.
People are in the mall
If there are people walking through the mall, it is inferred that they are in the mall.
exists e1 x1 x2 x3.(n_mall(x3) & a_topic(x1) & through(e1,x3) & Actor(e1,x2) & v_walk(e1) & (x1 = x2) & n_people(x1))
exists p1 x1 x2.(n_mall(x2) & in(x1,x2) & n_people(x1))