Assertion list
argument (aspect of function ) → MadeOf
Results from Ascent++: 1
argument → MadeOf → similar type 0.28