Estructura semántica finalizada de Puls4