Assertion list
sea (primary) → SymbolOf
Results from Ascent++: 2
sea → SymbolOf → change 0.25
sea → SymbolOf → freedom 0.16