Two brown dogs are fighting and biting each other.
Two pink dogs are playing nicely.
Brown is inherently not pink and playing is not fighting.
exists s1 s2 x1 x2.(all x4.(n_other(x4) -> exists e2.(Theme(e2,x4) & Actor(e2,x2) & v_bite(e2))) & n_dog(x2) & a_brown(s2) & Theme(s2,x2) & card_eq_2(x2) & all x3.(n_other(x3) -> exists e1.(Theme(e1,x3) & Actor(e1,x1) & v_fight(e1))) & n_dog(x1) & a_brown(s1) & Theme(s1,x1) & card_eq_2(x1))
exists e1 s1 s2 x1.(a_nicely(s2) & Manner(e1,s2) & Actor(e1,x1) & v_play(e1) & n_dog(x1) & a_pink(s1) & Theme(s1,x1) & card_eq_2(x1))