Assertion list
key (primary) → DefinedAs
Results from Ascent++: 1
key → DefinedAs → symbol 0.32