Assertion list
block (primary) → DefinedAs
Results from Ascent++: 2
block → DefinedAs → convenience of description 0.36
block → DefinedAs → storage 0.33