fix SymbolLogic and SemiSymbolLogic  Sync