Text: 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.
Entailment: The deleted provisions have been marked by strikeouts.
Contradiction: The deleted provisions have been doubleunderlined.