Assertion list
true joy (subgroup of joy ) → IsA
Results from Ascent++: 2
true joy → IsA → gift 0.31
true joy → IsA → choice 0.16