A white dog is jumping on the street.
The dog is sitting still on the street.
The dog can't be jumping and sitting still at the same time.
exists e1 s1 x1 x2.(n_street(x2) & on(e1,x2) & Actor(e1,x1) & v_jump(e1) & n_dog(x1) & a_white(s1) & Theme(s1,x1))
exists e1 s1 x1 x2.(n_street(x2) & n_dog(x1) & on(e1,x2) & a_still(s1) & Manner(e1,s1) & Actor(e1,x1) & v_sit(e1))