Assertion list
true purpose (subgroup of purpose ) → IsA
Results from Ascent++: 1
true purpose → IsA → the circlingof the heart 0.68