Assertion list
value (aspect of function ) → MadeOf

Results from Ascent++: 1
valueMadeOf the type 0.47