Text: A requirement that specifies a function that a system
Entailment: The function of a system is specified for the requirement.
Contradiction: The requirement doesn't specify any functions.