Three people wearing shorts walk on rocks along the side of a stream in the woods.
three people are in the ocean splashing in the waves.
People cannot be walking on rocks along a stream and also be in the ocean.
exists e2 e1 x1 x2 x3 x4 x5 x6 x7 x8.(n_wood(x8) & n_side(x6) & a_topic(x1) & Theme(e2,x3) & Actor(e2,x2) & v_wear(e2) & along(e1,x6) & of(x6,x7) & in(x7,x8) & n_stream(x7) & on(e1,x5) & n_rock(x5) & Theme(e1,x4) & v_walk(e1) & (x3 = x4) & n_shorts(x3) & (x1 = x2) & n_people(x1) & card_eq_3(x1))
exists p1 x1 x2 x4.(n_wave(x4) & n_ocean(x2) & exists e1 x3.(in(x1,x2) & in(e1,x4) & Actor(e1,x3) & v_splash(e1) & (x2 = x3)) & n_people(x1) & card_eq_3(x1))