A tired woman rests her head on her friend's shoulder in an auditorium.
She laughed excitedly at the jokes.
She either rests her head  on her friend's shoulder in an auditorium or she laughed excitedly at the jokes.
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 s1 x1 x2.(n_joke(x2) & n_female(x1) & at(e1,x2) & a_excitedly(s1) & Manner(e1,s1) & Actor(e1,x1) & v_laugh(e1))