Assertion list
polish (primary) → DefinedAs
Results from Ascent++: 1
polish → DefinedAs → good 0.28