Two dogs running near a river while one dogs in swimming in it.
three dogs sleep at home
The dogs that sleep could not have been the ones running and swimming.
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.(at(e1,x2) & n_home(x2) & Actor(e1,x1) & v_sleep(e1) & n_dog(x1) & card_eq_3(x1))