mnli premise: Examples include edit checks of data entered, accounting for transactions in numerical sequences, comparing file totals with control hypothesis: Comparing file totals with control is not an example