Assertion list
standard (primary) → DefinedAs
Results from Ascent++: 1
standard → DefinedAs → asterisk 0.25