Assertion list
true happiness (subgroup of happiness ) → AtLocation
Results from Ascent++: 1
true happiness → AtLocation → jesus christ 0.16