Assertion list
carry (primary) → DefinedAs
Results from Ascent++: 1
carry → DefinedAs → fee 0.25