A male scuba diver and two male workers are on a dirty fishing boat deep in thought.
A scuba diver is swimming in the water while his fellow workers look on.
One can not be on the boat and swimming at the same time.
exists p1 s1 s2 x1 x2 x3 x4.(exists s3 x5 x6 x7 x8.(on(x1,x5) & in(x5,x8) & n_thought(x8) & n_deep(x5) & of(x5,x7) & n_boat(x7) & of(x5,x6) & n_fishing(x6) & a_dirty(s3) & Theme(s3,x5)) & n_worker(x3) & a_male(s2) & Theme(s2,x3) & card_eq_2(x3) & n_diver(x2) & of(x2,x4) & n_scuba(x4) & subset_of(x3,x1) & subset_of(x2,x1) & a_male(s1) & Theme(s1,x1))
exists e1 p1 x1 x2 x3 x4 x5.(n_worker(x4) & of(x4,x5) & n_fellow(x5) & of(x4,x3) & n_male(x3) & n_water(x3) & exists e2 p2.(exists s1.(Theme(s1,x4) & a_on(s1)) & Topic(e2,p2) & Actor(e2,x4) & v_look(e2)) & while(e1,p1) & in(e1,x3) & Actor(e1,x1) & v_swim(e1) & n_diver(x1) & of(x1,x2) & n_scuba(x2))