A black and white dog is climbing stairs in the snow.
The yellow dog climbs down the stairs in the snow.
black and yellow are different colors
exists e1 s1 s2 x1 x2 x3.(n_snow(x3) & in(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_climb(e1) & n_stair(x2) & n_dog(x1) & a_white(s2) & Theme(s2,x1) & a_black(s1) & Theme(s1,x1))
exists s1 x1 x2 x3 x4.(n_snow(x4) & n_stair(x3) & n_climb(x1) & of(x1,x2) & n_dog(x2) & a_yellow(s1) & Theme(s1,x1) & a_topic(x1) & down(x1,x3) & in(x3,x4))