Assertion list
expression (primary) → DefinedAs
Results from Ascent++: 2
expression → DefinedAs → section 0.35
expression → DefinedAs → argument 0.32