A man in a black suit with tie and corsage smiles at a girl who smiles back, both are sitting at a table at a semi formal event such as a wedding or reunion.
the man is at home sleeping
there is no wedding or reunion at home. If the man smiles, he can't be sleeping.
exists e1 e2 p1 s1 s2 s3 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11.(at(e2,x10) & n_such(x10) & as(x10,x11) & (n_wedding(x11) | n_reunion(x11)) & n_event(x10) & a_formal(s3) & Theme(s3,x10) & a_semi(s2) & Theme(s2,x10) & at(e2,x9) & n_table(x9) & Actor(e2,x1) & v_sit(e2) & rel(x1,x8) & n_thing(x8) & in(x1,x2) & with(x2,x3) & at(x3,x6) & exists s4.(Theme(s4,x7) & a_back(s4)) & Topic(e1,p1) & Actor(e1,x7) & v_smile(e1) & (x6 = x7) & n_girl(x6) & n_smile(x3) & of(x3,x5) & n_corsage(x5) & of(x3,x4) & n_tie(x4) & n_suit(x2) & a_black(s1) & Theme(s1,x2) & n_man(x1))
exists p1 x1.(n_man(x1) & exists x2 x3.(at(x1,x2) & n_sleeping(x2) & of(x2,x3) & n_home(x3)))