Text: We assume that current-law benefits are paid in full
Entailment: Current-law benefits were assumed to be paid.
Contradiction: We assumed that current benefits would be left unpaid.