mnli premise: Within the text of the statements, provisions deleted as a result of other statements are marked with strikeouts and provisions affected by other statements are doubleunderlined. hypothesis: There were some who thought that the provisions affected by other statements should've been marked by strikeouts.