woman dancing in dress with 2 men in a band behind her at a jazz festival.
Three men dance at a rock concert.
Woman are different from men.
exists x1 x2 x3 x4 x5 x6 x7.(a_topic(x1) & in(x1,x3) & with(x3,x4) & at(x4,x6) & n_festival(x6) & of(x6,x7) & n_jazz(x7) & in(x4,x5) & behind(x5,x1) & n_female(x1) & n_band(x5) & n_man(x4) & n_date(x4) & a_date_day_02(x4) & a_date_day_02(x4) & n_dress(x3) & n_dancing(x1) & of(x1,x2) & n_woman(x2))
exists x1 x2 x3 x4.(a_topic(x1) & at(x1,x3) & n_concert(x3) & of(x3,x4) & n_rock(x4) & n_dance(x1) & of(x1,x2) & n_man(x2) & card_eq_3(x1))