Existen tres formas distintas de explicitar la semántica dependiendo del objetivo que se tenga en mente.