" Semántica de los comandos "