Six women in a dressing room are sitting down, applying makeup, and talking in front of mirrors.
Six women in a dressing room are happily sitting down.
Women in a dressing room sitting down while applying makeup and talking, doesn't infer that the women are happily sitting down.
exists e1 e3 e2 s1 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12.(in(e3,x11) & of(x11,x12) & n_mirror(x12) & n_front(x11) & Actor(e3,x8) & v_talk(e3) & in(x8,x9) & n_room(x9) & of(x9,x10) & n_dressing(x10) & n_woman(x8) & card_eq_6(x8) & Theme(e2,x7) & Actor(e2,x4) & v_apply(e2) & n_makeup(x7) & in(x4,x5) & n_room(x5) & of(x5,x6) & n_dressing(x6) & n_woman(x4) & card_eq_6(x4) & a_down(s1) & Manner(e1,s1) & Actor(e1,x1) & v_sit(e1) & in(x1,x2) & n_room(x2) & of(x2,x3) & n_dressing(x3) & n_woman(x1) & card_eq_6(x1))
exists e1 s1 s2 x1 x2 x3.(a_happily(s2) & Manner(e1,s2) & a_down(s1) & Manner(e1,s1) & Actor(e1,x1) & v_sit(e1) & in(x1,x2) & n_room(x2) & of(x2,x3) & n_dressing(x3) & n_woman(x1) & card_eq_6(x1))