Text: Conclusions are logical inferences about the program based on the auditors' findings and should flow from the findings, instead of representing a summary of them.
Entailment: Conclusions are logical inferences about the program based on the auditors' findings.
Contradiction: Logical inferences of the program ignore the findings of the auditors.