A white and brown dog is running over orange leaves.
The leaves all dropped from the same tree.
The orange leaves could have fallen from different trees, not the same tree.
exists e1 s1 s2 s3 x1 x2 x3.(a_over(s3) & Manner(e1,s3) & Theme(e1,x2) & Actor(e1,x1) & v_run(e1) & n_leaf(x2) & of(x2,x3) & n_orange(x3) & n_dog(x1) & a_brown(s2) & Theme(s2,x1) & a_white(s1) & Theme(s1,x1))
exists s1 x2 x3.(n_tree(x3) & a_same(s1) & Theme(s1,x3) & n_leaf(x2) & all x1.((x1 = x2) -> exists e1.(from(e1,x3) & Actor(e1,x1) & v_drop(e1))))