product specification subgroup of specification, 4 assertions