Many people on a street while vendors sell items.
The vendor sells shaved ice.
Not all vendors sell shaved ice.
(-x)
exists e2 e1 x1 x2.(n_vendor(x1) & Theme(e2,x2) & Actor(e2,x1) & v_sell(e2) & n_ice(x2) & Theme(e1,x2) & v_shave(e1))