Two black and brown dogs looking at each other.
Two dogs with their backs to each other are barking.
The dogs cannot be looking at each other if their backs are to each other.
exists e1 s1 s2 x1.(all x2.(n_other(x2) -> at(e1,x2)) & Actor(e1,x1) & v_look(e1) & n_dog(x1) & a_brown(s2) & Theme(s2,x1) & a_black(s1) & Theme(s1,x1) & card_eq_2(x1))
exists x1 x2.(all x3.(n_other(x3) -> exists e1.(Actor(e1,x1) & v_bark(e1) & with(x1,x2) & to(x2,x3))) & n_back(x2) & of(x2,x1) & n_thing(x1) & n_dog(x1) & card_eq_2(x1))