Assertion list
human virtue (subgroup of virtue ) → IsA
Results from Ascent++: 1
human virtue → IsA → habit 0.68