Text: A written guarantee that a system or componentcomplies with its specified requirements and is acceptable for operational use.
Entailment: A written page showing the system/component is acceptable for use and complies with requirements.
Contradiction: There is no written guarantee at all for the system or component.