Fonctions primaires :

référence anagnose

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

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

Une remarque sur l'ambiguïté des noms des fonctions est ici nécessaire. Par exemple, $\text{\sc ref}_A(a)$ donne l'anagnose du corpus $ac\in \mathit{Ac}$ qui correspond à l'anagnose $a\in \mathit{Ap}$. Mais $\text{\sc ref}_A(t)$ donne l'anagnose positionnée ( $a\in \mathit{Ap}$) du texte $t\in \mathit{Tp}$. Nous remarquons donc que le fonctionnement de l'opérateur $\text{\sc ref}_A$ est différent selon son argument. Pour être plus clair, nous aurions dû probablement utiliser un nom différent pour chacun des deux opérateurs. Mais, précisément pour ne pas faire proliférer les noms des opérateurs, nous utilisons un typage implicite pour les entités. Chaque entité (rien que par la façon dont elle est écrite) a un type correspondant à l'ensemble où elle appartient (pour l'instant, $\mathit{Tp}$ ou $\mathit{Ap}$) et le fonctionnement de l'opérateur est modifié de manière adéquate selon le type de son argument. Ainsi, sur le plan du traitement de l'information, il n'est point d'ambiguïté qui subsiste.

référence corpus

$\text{\sc ref}_T(t_1)=tc_1$

Chaque texte positionné correspond à un seul texte du corpus. Deux textes positionnés correspondant au même texte du corpus auront des charges sémantiques différentes et peut-être incompatibles entre elles (cf. plus tard, la discussion sur les classes sémantiques CS).