Assertion list
cactus (primary) → SymbolOf
Results from Ascent++: 1
cactus → SymbolOf → protection 0.16