Two black and two white dogs are playing in the snow.
Dogs are outside.
If the dogs are playing in the snow, then they are outside.
exists e1 s1 s2 x1 x2.(n_snow(x2) & in(e1,x2) & Actor(e1,x1) & v_play(e1) & n_dog(x1) & a_white(s2) & Theme(s2,x1) & card_eq_2(x1) & card_eq_2(x1) & a_black(s1) & Theme(s1,x1))
exists s1 x1.(Theme(s1,x1) & a_outside(s1) & n_dog(x1))