Four dancers each dressed in black with a red ribbon around their waist are dancing.
Four dancers are wearing black and red costumes and doing the tango.
Black and red costumes do not always have ribbons and there are other dances besides the tango.
all x6 x1 x2.((n_waist(x6) & of(x6,x2) & n_thing(x2) & (x1 = x2) & n_dancer(x2) & card_eq_4(x2)) -> exists e1 e2 s1 s2 x3 x4 x5.(Actor(e2,x1) & v_dance(e2) & around(e1,x6) & with(e1,x5) & n_ribbon(x5) & a_red(s2) & Theme(s2,x5) & Theme(e1,s1) & Theme(s1,x4) & a_black(s1) & Theme(e1,x3) & v_dress(e1) & (x1 = x3)))
exists e1 e2 s1 s2 x1 x2 x3 x4.(n_tango(x4) & Theme(e2,x4) & Actor(e2,x3) & v_do(e2) & n_dancer(x3) & card_eq_4(x3) & Theme(e1,x2) & Actor(e1,x1) & v_wear(e1) & n_costume(x2) & a_red(s2) & Theme(s2,x2) & a_black(s1) & Theme(s1,x2) & n_dancer(x1) & card_eq_4(x1))