A black and white dog is bounding down white steps.
A dog is running upstairs.
The dog is either going down the steps or upstairs.  The dog can't get upstairs by going down the stairs.
exists e1 s1 s2 s3 s4 x1 x2.(a_down(s4) & Manner(e1,s4) & Theme(e1,x2) & Actor(e1,x1) & v_bound(e1) & n_step(x2) & a_white(s3) & Theme(s3,x2) & n_dog(x1) & a_white(s2) & Theme(s2,x1) & a_black(s1) & Theme(s1,x1))
exists e1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_run(e1) & n_upstairs(x2) & n_dog(x1))