Premise: If so, auditors should include

Hypothesis: Auditors should include if that is true.
Relation: entailment