Assertion list
retirement plan (subgroup of plan ) → HasA
Results from Ascent++: 1
retirement plan → HasA → same meaning 0.32