A requirement that specifies a function that a system
The function of a system is specified for the requirement.
mnli hypothesis: The function of a system is specified for the requirement. premise: A requirement that specifies a function that a system