Assertion list
prevenient grace (subgroup of grace ) → IsA

Results from Ascent++: 1
prevenient graceIsA the grace 0.68