There are two dogs playing with each other.
Two dogs attacked each other wildly.
The dogs cannot be playing with each other and then attacked each other widly.
exists p1 x1 e1 x2 x3.((x1 = x2) & all x4.(n_other(x4) -> with(e1,x4)) & Actor(e1,x3) & v_play(e1) & (x2 = x3) & n_dog(x2) & card_eq_2(x2))
all x1.(n_other(x1) -> exists e1 x2.(r_wildly(e1) & Time(e1,x1) & Theme(e1,x2) & v_attack(e1) & n_dog(x2) & card_eq_2(x2)))