A tired woman rests her head on her friend's shoulder in an auditorium.
The woman was snoring in front of everyone.
Being tired does not necessarily imply snoring.
exists e1 s1 x1 x2 x3 x4 x5.(on(e1,x4) & in(x4,x5) & n_auditorium(x5) & n_shoulder(x4) & of(x4,x3) & n_friend(x3) & of(x3,x1) & n_female(x1) & n_female(x1) & Theme(e1,x2) & Actor(e1,x1) & v_rest(e1) & n_head(x2) & of(x2,x1) & n_woman(x1) & a_tired(s1) & Theme(s1,x1))
exists e1 x1 x2.(n_woman(x1) & all x3.(n_person(x3) -> (in(e1,x2) & of(x2,x3))) & n_front(x2) & Actor(e1,x1) & v_snore(e1))