Four dogs are playing in a circle and one black dog is walking away.
There are five dogs.
If four dogs are playing an one is walking away then there are five dogs.
exists e2 e1 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 p1 x1 x2.((x1 = x2) & n_dog(x2) & card_eq_5(x2))