「過去勤務債務(PSL)」を「数理債務」と「資産」を用いて表した式はどれか。

本来積み立てられているべき数理債務に対し、実際の資産が不足している額が過去勤務債務である。