Asigna el contenido de un hecho a otro hecho.

Separa el antecedente del consecuente: equivale a ENTONCES en SI <antecedente> ENTONCES <consecuente>.

Asigna el contenido de una variable a un hecho.

Asigna el identificador de un hecho a una variable.