A requirement that specifies a function that a system
The requirement doesn't specify any functions.
mnli hypothesis: The requirement doesn't specify any functions. premise: A requirement that specifies a function that a system