Two people are scuba diving in blue water with lots of bubbles.
Two friends are scuba diving.
Just because two people are scuba diving in blue water with lots of bubbles does not necessary that they are friends
exists p1 s1 x1 x2 x3 x4.(in(p1,x2) & with(x2,x3) & of(x3,x4) & n_bubble(x4) & n_lot(x3) & n_water(x2) & a_blue(s1) & Theme(s1,x2) & exists s2 x5.((x1 = x5) & n_diving(x5) & a_scuba(s2) & Theme(s2,x5)) & n_people(x1) & card_eq_2(x1))
exists p1 x1.(exists s1 x2.((x1 = x2) & n_diving(x2) & a_scuba(s1) & Theme(s1,x2)) & n_friend(x1) & card_eq_2(x1))