Assertion list
fox (primary) → SymbolOf
Results from Ascent++: 1
fox → SymbolOf → protection 0.19