Two females walking down the street with shopping bags.
they just finished shopping
The two females could be about to go shopping. We cannot assume they have finished shopping
exists e1 x1 x2 x3 x4 x5.(n_street(x3) & a_topic(x1) & with(e1,x4) & n_bag(x4) & of(x4,x5) & n_shopping(x5) & down(e1,x3) & Actor(e1,x2) & v_walk(e1) & (x1 = x2) & n_female(x1) & card_eq_2(x1))
exists e1 s1 x1 x2.(n_thing(x1) & a_just(s1) & Manner(e1,s1) & Theme(e1,x2) & Actor(e1,x1) & v_finish(e1) & n_shopping(x2))