A black and white dog is climbing stairs in the snow.
The dog climbs the stairs in the snow to get to the front door of the house.
Not all dogs climb to get to the front door of the house.
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 e1 p1 s1 x1 x2 x3 x4 x5.(n_house(x5) & n_door(x4) & a_front(s1) & Theme(s1,x4) & n_snow(x3) & n_stair(x2) & n_dog(x1) & Topic(e1,p1) & exists e2.(to(e2,x4) & of(x4,x5) & Actor(e2,x1) & v_get(e2)) & in(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_climb(e1))