functional requirement subgroup of requirement, 4 assertions