system requirement subgroup of requirement, 3 assertions