Assertion list
redemption (primary) → AtLocation
Results from Ascent++: 1
redemption → AtLocation → christ jesus 0.68