Assertion list
true joy (subgroup of joy ) → AtLocation
Results from Ascent++: 1
true joy → AtLocation → christ 0.57