Assertion list for term "associated type".

Results from Ascent++: 2
variable HasAassociated type 0.50
value (aspect of function) HasAassociated type 0.41