Four people are scuba diving in a swimming pool, two girls, one bald man and the third person you can only see an arm.
There are two men in scuba diving
The four people that are scuba diving, does not imply that two of them are men.
exists p1 s3 x1 x8.(n_person(x8) & n_person(x8) & a_third(s3) & Theme(s3,x8) & exists p2 s1 s2 x2 x3 x4 x5 x6 x7.((x1 = x2) & rel(x2,x5) & rel(x5,x6) & subset_of(x8,x6) & exists e1 p3 s4.(a_only(s4) & Manner(e1,s4) & exists e2 x9.(Theme(e2,x9) & Actor(e2,x8) & v_see(e2) & n_arm(x9)) & Topic(e1,p3) & Actor(e1,x8) & v_can(e1)) & that(x8,p2) & subset_of(x7,x6) & n_man(x7) & a_bald(s2) & Theme(s2,x7) & card_eq_1(x7) & n_girl(x5) & card_eq_2(x5) & in(x2,x3) & n_pool(x3) & of(x3,x4) & n_swimming(x4) & n_diving(x2) & a_scuba(s1) & Theme(s1,x2)) & n_people(x1) & card_eq_4(x1))
exists p1 x1 x2 x3.(in(p1,x2) & n_diving(x2) & of(x2,x3) & n_scuba(x3) & exists x4.((x1 = x4) & n_man(x4) & card_eq_2(x4)))