Three large black dogs are playing on the shore near the ocean.
Some dogs are chasing each other.
Just because the dogs are playing does not mean they are chasing each other.
exists e1 s1 s2 x1 x2 x3.(n_ocean(x3) & n_shore(x2) & on(e1,x2) & near(x2,x3) & Actor(e1,x1) & v_play(e1) & n_dog(x1) & a_black(s2) & Theme(s2,x1) & a_large(s1) & Theme(s1,x1) & card_eq_3(x1))
exists x1.(all x2.(n_other(x2) -> exists e1.(Theme(e1,x2) & Actor(e1,x1) & v_chase(e1))) & n_dog(x1))