Assertion list
alias (primary) → IsA
Results from Ascent++: 1
alias → IsA → temporary name 0.25