Semántica de Puls4