Given a premise, retrieve a hypothesis that is entailed by the premise.A requirement that specifies a function that a system
The function of a system is specified for the requirement.
The requirement doesn't specify any functions.