A woman carrying several bags is walking on the sidewalk.
A woman carrying heavy bags home from the store.
Not all bags are heavy, and not all women walking with bags are coming home from the store.
exists e2 e1 s1 x1 x2 x3 x4.(n_sidewalk(x4) & on(e2,x4) & Actor(e2,x1) & v_walk(e2) & Theme(e1,x3) & Actor(e1,x2) & v_carry(e1) & n_bag(x3) & a_several(s1) & Theme(s1,x3) & (x1 = x2) & n_woman(x1))
exists e1 s1 x1 x2 x3 x4 x5.(n_store(x5) & a_topic(x1) & from(e1,x5) & Theme(e1,x3) & Actor(e1,x2) & v_carry(e1) & n_home(x3) & of(x3,x4) & n_bag(x4) & a_heavy(s1) & Theme(s1,x3) & (x1 = x2) & n_woman(x1))