A spaniel runs through the grass.
The spaniel is playing with another dog.
The spaniel runs through the grass but may or may not be playing with another dog.
exists e1 x1 x2.(n_grass(x2) & through(e1,x2) & Actor(e1,x1) & v_run(e1) & n_spaniel(x1))
exists e1 x1 x2 x3.(n_dog(x2) & n_spaniel(x1) & with(e1,x3) & n_dog(x3) & -(x3 = x2) & Actor(e1,x1) & v_play(e1))