A couple enjoying a bit of nightlife smile for the camera.
A young couple is smiling for an anniversary picture.
Being a couple does not imply they are young. A couple enjoying nightlife does not imply that they are celebrating an anniversary. Smiling for the camera does not imply that an anniversary picture is being taken.
exists e1 s1 x1 x2 x3 x4 x5.(n_camera(x5) & a_topic(x1) & Theme(e1,x3) & Actor(e1,x2) & v_enjoy(e1) & for(x3,x5) & of(x3,x4) & n_smile(x4) & a_nightlife(s1) & Theme(s1,x4) & n_bit(x3) & (x1 = x2) & n_couple(x1))
exists e1 s1 x1 x2 x3.(for(e1,x2) & n_picture(x2) & of(x2,x3) & n_anniversary(x3) & Actor(e1,x1) & v_smile(e1) & n_couple(x1) & a_young(s1) & Theme(s1,x1))