Four dogs are playing in a circle and one black dog is walking away.
All the dogs are laying down.
If one dog is walking away then not all of the dogs can be laying down.
exists e1 e2 s1 s2 x1 x2 x3.(a_away(s2) & Manner(e2,s2) & Actor(e2,x3) & v_walk(e2) & n_dog(x3) & a_black(s1) & Theme(s1,x3) & card_eq_1(x3) & in(e1,x2) & n_circle(x2) & Actor(e1,x1) & v_play(e1) & n_dog(x1) & card_eq_4(x1))
exists x2.(n_dog(x2) & all x1.((x1 = x2) -> exists e1 s1.(a_down(s1) & Manner(e1,s1) & Actor(e1,x1) & v_lay(e1))))