A dog is running through a backyard full of leaves.
The dog is running through leaves
For the fact that the backyard is full of leaves does not mean the dog is running through leaves.
exists e1 s1 x1 x2 x3 x4.(through(e1,x2) & of(s1,x4) & n_leaf(x4) & Theme(s1,x3) & a_full(s1) & (x2 = x3) & n_backyard(x2) & Actor(e1,x1) & v_run(e1) & n_dog(x1))
exists e1 x1 x2.(n_dog(x1) & through(e1,x2) & n_leaf(x2) & Actor(e1,x1) & v_run(e1))