oxygen atom subgroup of atom, 8 assertions