Text: The portion of this present value not provided for at a valuation date by the present value of future normal cost is called the actuarial accrued liability.
Entailment: Actuarial accrued liability deals with the present value of future normal cost.
Contradiction: Actuarial accrued liability deals with the past value of future normal cost.