Premise: The actuarial present value of benefits allocated to all periods before a valuation year is called actuarial liability.

Hypothesis: Actuarial liability is the actuarial present value of any benefits allocated prior to the valuation year.
Relation: entailment