Codificação em línguas diferentes
Fórmulas podem ser codificadas em qualquer sistema capaz de representar a regra com precisão suficiente.
Isso permite:
- notação iškariana;
- instrução acadêmica;
- símbolos locais;
- gestos;
- registros construídos;
- possíveis formalizações em Dairvat.
Tradução semântica comum pode não preservar escopo, valência, condição ou sequência operacional.