semantica de Puls4