Two black dogs playing in the snow.
The dogs are outside.
Snow is outside so if two dogs are playing in snow then the two dogs are outside.
exists e1 s1 x1 x2 x3.(n_snow(x3) & a_topic(x1) & in(e1,x3) & Actor(e1,x2) & v_play(e1) & (x1 = x2) & n_dog(x1) & a_black(s1) & Theme(s1,x1) & card_eq_2(x1))
exists s1 x1.(n_dog(x1) & Theme(s1,x1) & a_outside(s1))