Assertion list
retirement plan (subgroup of plan ) → IsA

Results from Ascent++: 1
retirement planIsA defined benefit plan 0.42