A man is putting bagels on the shelf.
The bagels are freshly baked and available for sale.
on the shelf doesn't mean for sale
exists e1 x1 x2 x3.(n_shelf(x3) & on(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_put(e1) & n_bagel(x2) & n_man(x1))
exists s1 s2 x1 x2.(n_bagel(x1) & for(s2,x2) & n_sale(x2) & Theme(s2,x1) & a_available(s2) & r_freshly(s1) & Theme(s1,x1) & a_bake(s1))