Mimes are playing tug-of-war.
Mimes are playing jumprope.
Mimes cannot play tug-of-war and jumprope simultaneously
exists e1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_tug-of-war(x2) & n_mime(x1))
exists e1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_jumprope(x2) & n_mime(x1))