Assertion list
alias (primary) → HasProperty
Results from Ascent++: 2
alias → HasProperty → valid 0.32
alias → HasProperty → unique 0.25