Assertion list
attic (primary) → SymbolOf
Results from Ascent++: 1
attic → SymbolOf → higher self 0.25