Assertion list
peak (primary) → DefinedAs
Results from Ascent++: 1
peak → DefinedAs → ultra-high security zone 0.25