Two dogs running near a river while one dogs in swimming in it.
The river is small.
Rivers can be many sizes so could also be very large rather than small.
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 s1 x1.(n_river(x1) & Theme(s1,x1) & a_small(s1))