Assertion list
yellow (primary) → SymbolOf
Results from Ascent++: 1
yellow → SymbolOf → death 0.16