Three dogs are playing in the grass.
The dogs are chasing each other around.
The dogs can be playing in the grass without chasing each other around.
exists e1 x1 x2.(n_grass(x2) & in(e1,x2) & Actor(e1,x1) & v_play(e1) & n_dog(x1) & card_eq_3(x1))
exists x1.(n_dog(x1) & all x2.(n_other(x2) -> exists e1 s1.(a_around(s1) & Manner(e1,s1) & Theme(e1,x2) & Actor(e1,x1) & v_chase(e1))))