A smiling middle-aged man wearing over-sized red sunglasses and a colorful patterned shirt sits in the grass in front of a blue-green backdrop.
Nobody is smiling
One cannot be smiling and not be smiling at the same time.
exists e1 e2 e3 s1 s2 s3 s4 s5 s6 x1 x2 x3 x4 x5 x6 x7 x8.(n_grass(x6) & in(e3,x7) & of(x7,x8) & n_backdrop(x8) & a_blue-green(s6) & Theme(s6,x8) & n_front(x7) & in(e3,x6) & Actor(e3,x1) & v_sit(e3) & subset_of(x5,x1) & n_shirt(x5) & a_patterned(s5) & Theme(s5,x5) & a_colorful(s4) & Theme(s4,x5) & subset_of(x2,x1) & Theme(e2,x4) & Actor(e2,x3) & v_wear(e2) & n_sunglass(x4) & a_red(s3) & Theme(s3,x4) & a_over-sized(s2) & Theme(s2,x4) & (x2 = x3) & n_man(x2) & a_middle-aged(s1) & Theme(s1,x2) & Actor(e1,x2) & v_smile(e1))
-exists e1 x1.(Actor(e1,x1) & v_smile(e1) & n_person(x1))