Two swimmers watch as two other swimmers leap out of the water at each other.
Swimmers watching each other
Swimmers watching other swimmers watch each other.
exists e1 e2 s1 x1 x2 x3 x4.(n_water(x4) & all x5.(n_other(x5) -> at(e2,x5)) & of(e2,x4) & r_out(e2) & Actor(e2,x1) & v_leap(e2) & Theme(e1,x3) & Actor(e1,x2) & v_watch(e1) & -(x3 = x1) & n_swimmer(x1) & n_swimmer(x1) & n_swimmer(x3) & card_eq_2(x3) & a_as(s1) & Theme(s1,x3) & (x1 = x2) & card_eq_2(x1))
exists x1 x2.(a_topic(x1) & all x3.(n_other(x3) -> exists e1.(Theme(e1,x3) & Actor(e1,x2) & v_watch(e1))) & (x1 = x2) & n_swimmer(x1))