A German Shepherd plays in the snow.
dog in the snow play chase with another dog
Not all dog playing in the snow chase with another dog.
exists s1 x1 x2 x3.(n_snow(x3) & a_topic(x1) & in(x1,x3) & n_play(x1) & of(x1,x2) & n_shepherd(x2) & a_german(s1) & Theme(s1,x1))
exists x1 x2 x3 x4 x5.(n_play(x2) & of(x2,x3) & n_snow(x3) & a_topic(x1) & in(x1,x2) & with(x2,x5) & n_dog(x5) & -(x5 = x1) & n_dog(x1) & n_dog(x1) & Time(x2,x4) & n_chase(x4))