A man and woman wearing sunglasses are window shopping.
The man and woman are looking for birthday gifts for each other.
Standing next to glass display on the sidewalk does not imply they are looking for birthday gifts for each other.
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 e1 x1 x2 x3 x4 x5.(n_woman(x3) & n_man(x2) & subset_of(x3,x1) & subset_of(x2,x1) & all x6.(n_other(x6) -> (for(e1,x4) & for(x4,x6))) & n_gift(x4) & of(x4,x5) & n_birthday(x5) & Actor(e1,x1) & v_look(e1))