A white dog is running on gravel away from two people and a black and brown dog.
The white dog is playing.
The white dog running on gravel does not imply it is playing.
exists e1 s1 s2 s3 x1 x2 x3 x4 x5.(from(e1,x3) & subset_of(x5,x3) & n_dog(x5) & a_brown(s3) & Theme(s3,x5) & a_black(s2) & Theme(s2,x5) & subset_of(x4,x3) & n_people(x4) & card_eq_2(x4) & r_away(e1) & on(e1,x2) & n_gravel(x2) & Actor(e1,x1) & v_run(e1) & n_dog(x1) & a_white(s1) & Theme(s1,x1))
exists e1 s1 x1.(n_dog(x1) & a_white(s1) & Theme(s1,x1) & Actor(e1,x1) & v_play(e1))