Two dogs playing in the snow.
the dogs are playing in the hot grass
If dogs are playing in hot grass, they cannot simultaneously play in snow because the hot grass would melt snow before it could amass on the ground.
exists e1 x1 x2 x3.(n_snow(x3) & a_topic(x1) & in(e1,x3) & Actor(e1,x2) & v_play(e1) & (x1 = x2) & n_dog(x1) & card_eq_2(x1))
exists e1 s1 x1 x2.(n_grass(x2) & a_hot(s1) & Theme(s1,x2) & n_dog(x1) & in(e1,x2) & Actor(e1,x1) & v_play(e1))