Two dogs, a big dog and a small dog, run in the snow.
Two angry dogs chase each other in the snow.
The dogs might not be angry and they can run without chasing each other.
exists s1 s2 x1 x2 x3 x4 x5 x6.(n_snow(x6) & a_topic(x1) & rel(x1,x2) & subset_of(x4,x2) & rel(x4,x5) & in(x5,x6) & n_run(x5) & n_dog(x4) & a_small(s2) & Theme(s2,x4) & subset_of(x3,x2) & n_dog(x3) & a_big(s1) & Theme(s1,x3) & n_dog(x1) & card_eq_2(x1))
exists s1 x1 x2 x4.(n_snow(x4) & a_topic(x1) & all x3.(n_other(x3) -> exists s2.(Theme(s2,x3) & Actor(s2,x2) & a_chase(s2) & in(x3,x4))) & (x1 = x2) & n_dog(x1) & a_angry(s1) & Theme(s1,x1) & card_eq_2(x1))