A woman smiles while holding several green peppers at a grocery stand.
A woman has just purchased green peppers.
Items can be held before they are purchased. It cannot be assumed that the woman purchased the peppers just because she is holding them.
exists e1 e2 s1 s2 x1 x2 x3 x4.(while(e1,e2) & at(e2,x3) & n_stand(x3) & of(x3,x4) & n_grocery(x4) & Theme(e2,x2) & Actor(e2,x1) & v_hold(e2) & n_pepper(x2) & a_green(s2) & Theme(s2,x2) & a_several(s1) & Theme(s1,x2) & Actor(e1,x1) & v_smile(e1) & n_woman(x1))
exists e1 s1 s2 x1 x2.(a_just(s2) & Manner(e1,s2) & Theme(e1,x2) & Actor(e1,x1) & v_purchase(e1) & n_pepper(x2) & a_green(s1) & Theme(s1,x2) & n_woman(x1))