Anchor: However, as discussed in the following case example, the university had developed the most comprehensive procedures for accounting for and analyzing security incidents.
Entailed: The university had developed the most comprehensive procedures for accounting and analyzing security incidents.
Contradiction: The university has yet to develop procedures for this.
Contradiction: A woman is laying in her bed.
Contradiction: a man is working on a car
Contradiction: Four men and a woman dance on a table.
Contradiction: The end of the occupation was in 1952.