Two big black dogs play with each other in the grass.
Nothing in the grass.
There are two big black dogs in the grass that means there is something in the grass.
exists e1 s1 s2 x1 x2.(n_grass(x2) & in(e1,x2) & all x3.(n_other(x3) -> with(e1,x3)) & Actor(e1,x1) & v_play(e1) & n_dog(x1) & a_black(s2) & Theme(s2,x1) & a_big(s1) & Theme(s1,x1) & card_eq_2(x1))
exists x2.(n_grass(x2) & -exists x1.(a_topic(x1) & in(x1,x2) & n_thing(x1)))