Premise: A requirement that specifies a function that a system

Hypothesis: The function of a system is specified for the requirement.
Relation: entailment