Mimes are playing tug-of-war.
Mimes are not playing tug-of-war.
it is not possible to be and be playing at the same time
exists e1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_tug-of-war(x2) & n_mime(x1))
exists x1.(-exists e1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_tug-of-war(x2)) & n_mime(x1))