Assertion list
remedy (primary) → DefinedAs
Results from Ascent++: 2
remedy → DefinedAs → right 0.27
remedy → DefinedAs → replacement 0.25