Assertion list
emperor (primary) → SymbolOf
Results from Ascent++: 1
emperor → SymbolOf → the state 0.49