Two people, dressed in red, dancing.
Four people are playing four square while wearing purple.
two people and four people cannot be dancing and playing four square at the same time.
exists e2 e1 s1 x1 x2 x3.(Actor(e2,x1) & v_dance(e2) & Theme(e1,s1) & Theme(s1,x3) & a_red(s1) & Theme(e1,x2) & v_dress(e1) & (x1 = x2) & n_people(x1) & card_eq_2(x1))
exists e2 e1 x1 x2 x3.(while(e1,e2) & Theme(e2,x3) & Actor(e2,x1) & v_wear(e2) & n_purple(x3) & Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_square(x2) & card_eq_4(x2) & n_people(x1) & card_eq_4(x1))