Assertion list
knight (primary) → SymbolOf
Results from Ascent++: 2
knight → SymbolOf → purification 0.29
knight → SymbolOf → practical design 0.16