the dog is jumping on to the couch
The dog is on the floor.
the dog can't be on the couch and the floor at the same time.
exists e1 s1 x1 x2.(n_couch(x2) & n_dog(x1) & to(e1,x2) & a_on(s1) & Manner(e1,s1) & Actor(e1,x1) & v_jump(e1))
exists p1 x1 x2.(n_floor(x2) & n_dog(x1) & on(x1,x2))