Assertion list
value (aspect of expression ) → MadeOf

Results from Ascent++: 1
valueMadeOf type 0.22