Two dogs running near a river while one dogs in swimming in it.
All three dogs were in the river swimming.
Either three dogs were in the river or one dog was in the river.
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 x2 x3.(n_swimming(x2) & of(x2,x3) & n_river(x3) & all x1.((n_dog(x1) & card_eq_3(x1)) -> exists p1.in(x1,x2)))