fluorine atom subgroup of atom, 1 assertions