Assertion list
true joy (subgroup of joy ) → HasA
Results from Ascent++: 1
true joy → HasA → equanimity 0.25