Two dogs chasing each other in the grass
Two dogs are laying down in the grass.
The dogs cannot be laying down if they are chasing each other.
exists x1 x2 x4.(n_grass(x4) & a_topic(x1) & all x3.(n_other(x3) -> exists e1.(in(e1,x4) & Theme(e1,x3) & Actor(e1,x2) & v_chase(e1))) & (x1 = x2) & n_dog(x1) & card_eq_2(x1))
exists e1 s1 x1 x2.(n_grass(x2) & in(e1,x2) & a_down(s1) & Manner(e1,s1) & Actor(e1,x1) & v_lay(e1) & n_dog(x1) & card_eq_2(x1))