¿Cuáles son los tipos de semantica?