Two dogs, one brown and one black, playing with each other.
Two dogs are chasing each other around.
They may not be chasing
exists e1 s1 x1 x2 x3 x4 x5.(all x6.(n_other(x6) -> with(e1,x6)) & Actor(e1,x1) & v_play(e1) & rel(x1,x2) & subset_of(x4,x2) & Theme(s1,x5) & a_black(s1) & (x4 = x5) & n_thing(x4) & card_eq_1(x4) & subset_of(x3,x2) & n_brown(x3) & card_eq_1(x3) & n_dog(x1) & card_eq_2(x1))
exists x1.(all x2.(n_other(x2) -> exists e1 s1.(a_around(s1) & Manner(e1,s1) & Theme(e1,x2) & Actor(e1,x1) & v_chase(e1))) & n_dog(x1) & card_eq_2(x1))