Premise: The technical verification of the ability of a proposed system configuration, replacement component, or the features or functions of its software, to satisfy functional requirements.

Hypothesis: Verification requires multiples different categories to be tested.
Relation: entailment