Assertion list for term "untyped".
Results from Ascent++: 1
value (aspect of function) → HasProperty → untyped 0.25