Symbolical-Abstraction