A brown dog and a black dog are standing against each other in some grass
The dogs are on the couch.
If the dogs are on the couch, they cannot be standing against each other in some grass
exists e1 s1 s2 x1 x2 x3 x4.(in(e1,x4) & n_grass(x4) & all x5.(n_other(x5) -> against(e1,x5)) & Actor(e1,x1) & v_stand(e1) & subset_of(x3,x1) & n_dog(x3) & a_black(s2) & Theme(s2,x3) & subset_of(x2,x1) & n_dog(x2) & a_brown(s1) & Theme(s1,x2))
exists p1 x1 x2.(n_couch(x2) & n_dog(x1) & on(x1,x2))