The white dog ran down the dusty road.
The dog sits indoors.
Dog cannot be running down the road and sitting indoors at the same time
exists e1 s1 s2 x1 x2.(n_road(x2) & a_dusty(s2) & Theme(s2,x2) & n_dog(x1) & a_white(s1) & Theme(s1,x1) & down(e1,x2) & Actor(e1,x1) & v_run(e1))
exists e1 x1 x2.(n_dog(x1) & Theme(e1,x2) & Actor(e1,x1) & v_sit(e1) & n_indoor(x2))