Assertion list
curve (primary) → SymbolOf
Results from Ascent++: 1
curve → SymbolOf → the three worlds 0.28