The small dog on the leash is walking through the snow.
Yappy the dog enjoys the snowy walk.
We don't know if the dog's name is Yappy.
exists e1 s1 x1 x2 x3.(n_snow(x3) & n_leash(x2) & n_dog(x1) & a_small(s1) & Theme(s1,x1) & through(e1,x3) & Actor(e1,x1) & v_walk(e1) & on(x1,x2))
exists e1 s1 x1 x2 x3.(n_walk(x3) & a_snowy(s1) & Theme(s1,x3) & n_dog(x1) & Theme(e1,x3) & Actor(e1,x1) & v_enjoy(e1) & on(x1,x2) & ne_tim_yappy(x2))