A brown dog is running in the snow with a smaller black dog running behind it.
Two dogs are laying next to a fire.
It is not possible to run and lay down at the same time. So if the dogs are running then they are not laying down.
exists e1 e2 s1 s2 s3 x1 x2 x3 x4.(n_thing(x2) & n_snow(x2) & with(e1,x3) & behind(e2,x2) & Actor(e2,x4) & v_run(e2) & (x3 = x4) & n_dog(x3) & a_black(s3) & Theme(s3,x3) & r_more(s2) & a_smaller(s2) & Theme(s2,x3) & in(e1,x2) & Actor(e1,x1) & v_run(e1) & n_dog(x1) & a_brown(s1) & Theme(s1,x1))
exists e1 x1 x2.(to(e1,x2) & n_fire(x2) & r_next(e1) & Actor(e1,x1) & v_lay(e1) & n_dog(x1) & card_eq_2(x1))