A woman in a hat holding a handbag smiles away from another woman wearing sunglasses and holding a shopping bag.
The lady put on her sunglasses and gave a big smile.
The lady could have put on her sunglasses long ago, not just before in the instance described. Also, not all smiles are big.
exists e1 e2 e3 e4 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10.(from(e2,x5) & Theme(e4,x9) & Actor(e4,x8) & v_hold(e4) & n_bag(x9) & of(x9,x10) & n_shopping(x10) & (x5 = x8) & Theme(e3,x7) & Actor(e3,x6) & v_wear(e3) & n_sunglass(x7) & (x5 = x6) & n_woman(x5) & -(x5 = x1) & n_woman(x1) & n_woman(x1) & r_away(e2) & Actor(e2,x1) & v_smile(e2) & in(x1,x2) & Theme(e1,x4) & Actor(e1,x3) & v_hold(e1) & n_handbag(x4) & (x2 = x3) & n_hat(x2))
exists e1 e2 s1 x1 x2 x3.(n_lady(x1) & n_sunglass(x2) & of(x2,x1) & n_female(x1) & Theme(e2,x3) & Actor(e2,x1) & v_give(e2) & n_smile(x3) & a_big(s1) & Theme(s1,x3) & on(e1,x2) & Actor(e1,x1) & v_put(e1))