Two people, one with his head above the water and the other with his head below, are swimming along side each other.
two people wathing others leaninf how to swim
one person's head is above water and the other person's head is below water so they both cannot be watching others.
exists x1 x2 x3 x4 x5 x6 x7.(n_other(x6) & n_water(x5) & all x8.(n_other(x8) -> exists e1 x9.(along(e1,x9) & n_side(x9) & Theme(e1,x8) & Actor(e1,x1) & v_swim(e1))) & rel(x1,x2) & with(x2,x3) & r_below(x3) & with(x3,x7) & n_head(x7) & of(x7,x3) & n_male(x3) & above(x3,x4) & subset_of(x6,x4) & subset_of(x5,x4) & n_head(x3) & of(x3,x1) & n_male(x1) & n_thing(x2) & card_eq_1(x2) & n_people(x1) & card_eq_2(x1))
exists e2 e1 x1 x2 x3 x4.(Topic(e2,x4) & Actor(e2,x1) & v_leaninf(e2) & n_manner(x4) & exists e3 x5.(Actor(e3,x5) & v_swim(e3)) & Theme(e1,x3) & Actor(e1,x2) & v_wathe(e1) & -(x3 = x1) & n_person(x1) & n_person(x3) & (x1 = x2) & n_people(x1) & card_eq_2(x1))