Two brown dogs play or fight.
the animals are playing with each other
Just because two dogs play or fight doesn't mean they are playing with each other.
(exists e1 s1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_thing(x2) & n_dog(x1) & a_brown(s1) & Theme(s1,x1) & card_eq_2(x1)) | exists e2 s2 x3 x4.(Theme(e2,x4) & Actor(e2,x3) & v_fight(e2) & n_thing(x4) & n_dog(x3) & a_brown(s2) & Theme(s2,x3) & card_eq_2(x3)))
exists e1 x1.(n_animal(x1) & all x2.(n_other(x2) -> with(e1,x2)) & Actor(e1,x1) & v_play(e1))