Colorful Abstraction de STNMSL