technical specification subgroup of specification, 9 assertions