Assertion list
zone (primary) → DefinedAs
Results from Ascent++: 3
zone → DefinedAs → height changes 0.28
zone → DefinedAs → level changes 0.28
zone → DefinedAs → screen 0.28