Assertion list
residual bequest (subgroup of bequest ) → IsA

Results from Ascent++: 1
residual bequestIsA bequest 0.25