Premise: Internal auditors may be required to verify that the equipment or software pass the specified tests.

Hypothesis: The software has to be verified by the auditors.
Relation: entailment