A gray dog runs along side a pool while a yellow dog jumps into the pool.
The yellow dog is an excellent swimmer, while the grey one looks on.
Just because the yellow dog jumped into the pool does not mean that it's an excellent swimmer, and the gray dog could be running along the pool without looking on.
exists e1 s1 s2 x1 x2 x3 x4 x5.(into(e1,x2) & n_pool(x2) & n_pool(x2) & while(e1,x4) & n_jump(x4) & of(x4,x5) & n_dog(x5) & a_yellow(s2) & Theme(s2,x4) & along(e1,x3) & n_side(x3) & Theme(e1,x2) & Actor(e1,x1) & v_run(e1) & n_dog(x1) & a_gray(s1) & Theme(s1,x1))
exists p1 p2 s1 x1 x3.(n_grey(x3) & card_eq_1(x3) & n_dog(x1) & a_yellow(s1) & Theme(s1,x1) & exists e1 p3.(exists s3.(Theme(s3,x3) & a_on(s3)) & Topic(e1,p3) & Actor(e1,x3) & v_look(e1)) & while(p1,p2) & exists s2 x2.((x1 = x2) & n_swimmer(x2) & a_excellent(s2) & Theme(s2,x2)))