Three large black dogs are playing on the shore near the ocean.
Some dogs are outside.
Three large black dogs are some dogs and the ocean is outside
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 s1 x1.(Theme(s1,x1) & a_outside(s1) & n_dog(x1))