Two dogs playing in the snow.
Two dogs chase each other and roll in the snow.
The dogs are chasing each other through the snow, not just playing.
exists e1 x1 x2 x3.(n_snow(x3) & a_topic(x1) & in(e1,x3) & Actor(e1,x2) & v_play(e1) & (x1 = x2) & n_dog(x1) & card_eq_2(x1))
exists s1 x1 x2 x3 x4.(n_snow(x4) & a_topic(s1) & subset_of(x3,s1) & in(x3,x4) & n_roll(x3) & subset_of(x1,s1) & all x5.(n_other(x5) -> exists s2.(Theme(s2,x5) & Actor(s2,x2) & a_chase(s2))) & (x1 = x2) & n_dog(x1) & card_eq_2(x1))