Assertion list
true gratitude (subgroup of gratitude ) → IsA

Results from Ascent++: 1
true gratitudeIsA grace 0.59