Two beige dogs are playing in the snow.
Two beige dogs outside in the snow.
If dogs are playing in snow than they must be outside.
exists e1 s1 x1 x2.(n_snow(x2) & in(e1,x2) & Actor(e1,x1) & v_play(e1) & n_dog(x1) & a_beige(s1) & Theme(s1,x1) & card_eq_2(x1))
exists s1 x1 x2 x3.(n_snow(x3) & a_topic(x1) & in(x2,x3) & outside(x1,x2) & n_thing(x2) & n_dog(x1) & a_beige(s1) & Theme(s1,x1) & card_eq_2(x1))