Sausages hang in a supermarket while a cashier is working.
A supermarket has sold out of sausage.
Sausages hang in a supermarket means they are not sold out of sausages.
(x)
exists e1 x1 x2.(of(e1,x2) & n_sausage(x2) & r_out(e1) & Actor(e1,x1) & v_sell(e1) & n_supermarket(x1))