Premise: Requirement or system component must be able to perform.

Hypothesis: Out of requirement and system component, one must be able to work.
Relation: entailment