Premise: If so, auditors should include

Hypothesis: Otherwise, auditors can ignore
Relation: neutral