Assertion list
value (aspect of measure ) → DefinedAs
Results from Ascent++: 1
value → DefinedAs → asterisk 0.28