Two dogs running near a river while one dogs in swimming in it.
Some puppies are playing fetch in the river.
Three dogs aren't always some puppies, and puppies playing fetch in the river will fetch in it and run near it.
exists e1 x1 x2 x3 x4 x5.(a_topic(x1) & in(e1,x1) & n_thing(x1) & in(e1,x5) & n_swimming(x5) & while(e1,x4) & n_dog(x4) & card_eq_1(x4) & near(e1,x3) & n_river(x3) & Actor(e1,x2) & v_run(e1) & (x1 = x2) & n_dog(x1) & card_eq_2(x1))
exists e1 x1 x2 x3.(n_river(x3) & in(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_fetch(x2) & n_puppy(x1))