Premise: Auditors should design the audit to provide reasonable assurance of detecting material misstatements of financial statements or other financial data resulting from noncompliance with provisions of contracts or grant agreements that have a direct and material effect on the determination of financial statement amounts.

Hypothesis: Auditors should design the audit to provide certain things. 
Relation: entailment