Assertion list
redemption (primary) → DefinedAs
Results from Ascent++: 2
redemption → DefinedAs → is applied to the subscription 0.39
redemption → DefinedAs → sale 0.25