Estructura semántica final de Puls4