Assertion list
property (aspect of function ) → DefinedAs
Results from Ascent++: 1
property → DefinedAs → a child record 0.25