A dog is walking in a tire track in the snow.
the dog is chasing birds
many birds migrate away during the snow season, thus the dog isn't implicitly chasing birds
exists e1 x1 x2 x3 x4.(n_snow(x4) & in(e1,x4) & in(e1,x2) & n_track(x2) & of(x2,x3) & n_tire(x3) & Actor(e1,x1) & v_walk(e1) & n_dog(x1))
exists e1 x1 x2.(n_dog(x1) & Theme(e1,x2) & Actor(e1,x1) & v_chase(e1) & n_bird(x2))