Assertion list
sphere (primary) → SymbolOf
Results from Ascent++: 3
sphere → SymbolOf → wholeness 0.26
sphere → SymbolOf → acceptance 0.25
sphere → SymbolOf → equality 0.25