There are two dogs running on the beach outside.
The dogs are walking in the forest.
The dogs can't be running and walking at the same time.
exists p1 x1 x4 x5.(n_outside(x4) & of(x4,x5) & n_beach(x5) & exists e1 x2 x3.((x1 = x2) & on(e1,x4) & Actor(e1,x3) & v_run(e1) & (x2 = x3) & n_dog(x2) & card_eq_2(x2)))
exists e1 x1 x2.(n_forest(x2) & n_dog(x1) & in(e1,x2) & Actor(e1,x1) & v_walk(e1))