Fonctions :

référence corpus

$$\text{\sc ref}_A(a_1)=ac_1$$

Cette fonction a pour objectif de maintenir disponible l'information concernant le lien avec la forme << brute >> de l'anagnose, c.-à-d. l'anagnose du corpus.

Nous remarquons qu'une anagnose a se réfère à une seule anagnose du corpus $ac\in \mathit{Ac}$ (e.g. la forme écrite de l'anagnose), mais une anagnose du corpus peut correspondre à plusieurs anagnoses positionnées.

égalité

$$a_1=a_2 \Longleftrightarrow (ac_1=ac_2 \wedge p_1=p_2)$$

identité par rapport à l'anagnose

$${\text{\sc id}_{ref}}_A(a_1, a_2) \Longleftrightarrow \text{\sc ref}_A(a_1)=\text{\sc ref}_A(a_2)$$