fix SemiSymbolLogic