Several people are dancing and partying together.
There are three men and four women dancing.
Just because several people are dancing and partying together does not indicate that there are three men and four women dancing.
exists e2 e1 s1 s2 s3 x1 x2.(a_together(s3) & Manner(e2,s3) & Actor(e2,x2) & v_party(e2) & n_people(x2) & a_several(s2) & Theme(s2,x2) & Actor(e1,x1) & v_dance(e1) & n_people(x1) & a_several(s1) & Theme(s1,x1))
exists p1 x1 e1 x2 x3 x4 x5.((x1 = x2) & Actor(e1,x5) & v_dance(e1) & (x2 = x5) & n_woman(x4) & card_eq_4(x4) & n_man(x3) & subset_of(x4,x2) & subset_of(x3,x2) & card_eq_3(x2))