SymbolResult: a SymbolResult: b