Assertion list
reed (primary) → SymbolOf
Results from Ascent++: 1
reed → SymbolOf → flexibility 0.25