Semantica de Puls4