A man and woman wearing sunglasses are window shopping.
It is sunny outside.
Wearing sunglasses does not necessarily imply it is sunny outside.
exists e1 p1 x1 x2 x3 x4 x5.(exists x6 x7.((x1 = x6) & n_shopping(x6) & of(x6,x7) & n_window(x7)) & Theme(e1,x5) & Actor(e1,x4) & v_wear(e1) & n_sunglass(x5) & (x1 = x4) & n_woman(x3) & n_man(x2) & subset_of(x3,x1) & subset_of(x2,x1))
exists p1 x1.(n_thing(x1) & exists s1 x2.((x1 = x2) & n_outside(x2) & a_sunny(s1) & Theme(s1,x2)))