Assertion list
tower (primary) → SymbolOf
Results from Ascent++: 1
tower → SymbolOf → strength 0.18