Premise: Examples include edit checks of data entered, accounting for transactions in numerical sequences, comparing file totals with control

Hypothesis: Examples include accounting for transactions in numerical sequences
Relation: entailment