Anchor: We assume that current-law benefits are paid in full
Entailed: Current-law benefits were assumed to be paid.
Contradiction: We assumed that current benefits would be left unpaid.
Contradiction: The woman and the dog are laying on the bed.
Contradiction: A girl is enjoying playing in a pile of leaves outside.
Contradiction: Three men sitting quietly in a theater.
Contradiction: GAO helps Congress.