Assertion list
deceased spouse (subgroup of spouse ) → HasA
Results from Ascent++: 1
deceased spouse → HasA → 35 years of covered earnings 0.25