A Rotweiler with a tennis ball in its mouth and a black lab running in the snow.
The dogs are playing with each other.
Just because there are two dogs, does not mean they are playing with each other
exists e1 s1 x1 x2 x3 x4 x5 x6 x7 x8.(n_snow(x8) & a_topic(x1) & with(x1,x2) & subset_of(x6,x2) & in(e1,x8) & Actor(e1,x7) & v_run(e1) & (x6 = x7) & n_lab(x6) & a_black(s1) & Theme(s1,x6) & subset_of(x3,x2) & in(x3,x5) & n_mouth(x5) & of(x5,x1) & n_thing(x1) & n_ball(x3) & of(x3,x4) & n_tennis(x4) & n_rotweiler(x1))
exists e1 x1.(n_dog(x1) & all x2.(n_other(x2) -> with(e1,x2)) & Actor(e1,x1) & v_play(e1))