Three individuals are scuba diving.
Three people are scuba diving to look for treasure.
the individuals doing scuba dive does not imply they are looking for treasure.
exists p1 x1.(exists s1 x2.((x1 = x2) & n_diving(x2) & a_scuba(s1) & Theme(s1,x2)) & n_individual(x1) & card_eq_3(x1))
exists e1 p1 x1.(exists e2 p2.(Topic(e2,p2) & Actor(e2,x1) & v_dive(e2) & exists e3 x2.(for(e3,x2) & n_treasure(x2) & Actor(e3,x1) & v_look(e3))) & Topic(e1,p1) & Actor(e1,x1) & v_scuba(e1) & n_people(x1) & card_eq_3(x1))