The dog is running with a colorful ball.
A dog runs away with the ball, not wanting to give it back to the children.
The dog running with a ball does not imply that it is not wanting to give it back to the children. The dog did not necessarily take the ball from children.
exists e1 s1 x1 x2.(n_dog(x1) & with(e1,x2) & n_ball(x2) & a_colorful(s1) & Theme(s1,x2) & Actor(e1,x1) & v_run(e1))
exists e1 s1 x1 x2 x3.(n_child(x3) & n_thing(x2) & n_ball(x2) & -exists e2 p1.(for(e1,e2) & Topic(e2,p1) & Actor(e2,x1) & v_want(e2) & exists e3 p2.(exists s2.(to(s2,x3) & Theme(s2,x2) & a_back(s2)) & Recipient(e3,p2) & Actor(e3,x1) & Topic(e3,x2) & v_give(e3))) & with(e1,x2) & a_away(s1) & Manner(e1,s1) & Actor(e1,x1) & v_run(e1) & n_dog(x1))