Assertion list
mermaid (primary) → SymbolOf
Results from Ascent++: 1
mermaid → SymbolOf → warsaw 0.28