Premise: A formal demonstration that a system or component complies with its specified requirements and is acceptable for operational use.

Hypothesis: Systems must pass inspection before use.
Relation: entailment