Women puts on shoe while leaning against a storefront.
Woman is putting on heels.
It cannot be inferred from the first sentence that the woman is putting on heels.
exists e1 e2 x1 x2 x3 x4.(ne_nam_women(x1) & while(e1,e2) & against(e2,x4) & n_storefront(x4) & Actor(e2,x1) & v_lean(e2) & on(e1,x3) & n_shoe(x3) & Theme(e1,x2) & Actor(e1,x1) & v_put(e1) & n_thing(x2))
exists e1 x1 x2 x3.(ne_nam_woman(x1) & on(e1,x3) & n_heel(x3) & Theme(e1,x2) & Actor(e1,x1) & v_put(e1) & n_thing(x2))