Assertion list
reform (primary) → DefinedAs

Results from Ascent++: 1
reformDefinedAs incomplete 0.25