scuba diver subgroup of diver, 8 assertions