Text this: Especificación en OCL de los elementos del núcleo de Semat