The dog is running around the cow.
Some animal are playing.
Just because the dog is running around the cow doesn't necessarily indicate the animals are playing.
exists e1 x1 x2.(n_cow(x2) & n_dog(x1) & around(e1,x2) & Actor(e1,x1) & v_run(e1))
exists e1 x1.(Actor(e1,x1) & v_play(e1) & n_animal(x1))