Assertion list
abundant life (subgroup of life ) → IsA
Results from Ascent++: 1
abundant life → IsA → life 0.50