mnli 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