Assertion list
value (aspect of variable ) → MadeOf
Results from Ascent++: 1
value → MadeOf → type 0.19