Assertion list for term "type int".
Results from Ascent++: 3
value → HasA → type int 0.40
value (aspect of parameter) → MadeOf → type int 0.28
value (aspect of function) → HasA → type int 0.27