Street vendors sell baked goods.
The street vendors are not selling any food items.
If the vendors are selling baked goods then they are selling food items.
exists e2 e1 x1 x2 x3.(Theme(e2,x3) & Actor(e2,x1) & v_sell(e2) & n_goods(x3) & Theme(e1,x3) & v_bake(e1) & n_vendor(x1) & (x1 = x2) & ne_per_street(x2))
exists x1 x2.(n_vendor(x1) & of(x1,x2) & n_street(x2) & -all x4 x3.((n_item(x3) & of(x3,x4) & n_food(x4)) -> exists e1.(Theme(e1,x3) & Actor(e1,x1) & v_sell(e1))))