La regla 48 define que el contador de un bucle se asigna a una variable identificada y que dicha variable es de tipo entero sin signo. La regla 62 define que una lista puede contener enteros o estar vacía. La ecuación establece que X es igual a Y menos 8 y que el carácter igual a un carácter menos un dígito.