Assertion list
correction (primary) → DefinedAs
Results from Ascent++: 1
correction → DefinedAs → a 10% decline 0.38