Text: If so, auditors should include
Entailment: Auditors should include if that is true.
Contradiction: Auditors don't need to include