The little white and brown dog is swimming in a pool.
The baby fox swims across the pool to reach some food on the other side.
Fox and dog are different.  To reach somewhere is not the only aim of swimming.
exists e1 s1 s2 s3 x1 x2.(n_dog(x1) & a_brown(s3) & Theme(s3,x1) & a_white(s2) & Theme(s2,x1) & a_little(s1) & Theme(s1,x1) & in(e1,x2) & n_pool(x2) & Actor(e1,x1) & v_swim(e1))
exists p1 x1 x2 x3 x4 x6.(-(x6 = x6) & n_side(x6) & n_pool(x4) & n_swim(x1) & of(x1,x3) & n_fox(x3) & of(x1,x2) & n_baby(x2) & a_topic(x1) & across(x1,x4) & Topic(x4,p1) & exists e1 x5.(on(e1,x6) & Theme(e1,x5) & Actor(e1,x4) & v_reach(e1) & n_food(x5)))