On rappelle ici les principales règles de l'évaluation des « textes ».
l'utilisation : use
Une utilisation de texte est évaluée en trois temps :
1: |
Recherche du texte utilisé dans le contexte d'évaluation. Par exemple :
Le texte |
2: |
Evaluation de l'environnement des définitions locales du texte trouvé – c'est ici l'environnement composé des définitions de textes |
3: |
Evaluation de la représentation du texte trouvé, dans le contexte formé par l'environnement évalué, placé en priorité dans le contexte courant. Par exemple ici, il reste à évaluer :
|
la référence : ref
Une référence est évaluée de la même façon qu'une utilisation, mais dans ce cas-là on s'arrête au point 2 : la référence retourne simplement l'environnement évalué du texte trouvé.
l'emploi : use ou ref
On rappelle qu'un emploi de texte est une utilisation use ou une référence ref.
l'environnement local d'emploi
L'environnement local d'emploi est évalué en premier, à l'évaluation d'un emploi de texte. Un emploi de texte est donc évalué en deux étapes :
On prend pour exemple l'utilisation :
1: |
Evaluation de l'environnement local. Dans l'exemple, on évalue l'environnement local
| |||
2: |
Evaluation de l'utilisation, sans environnement local d'utilisation, dans le contexte formé de l'environnement évalué, placé en priorité dans le contexte courant. Par exemple ici, on évalue :
|
cas particulier
Un cas particulier est celui où l'emploi de texte correspond à ce qu'on appelle une expression de chemin : il s'agit d'un emploi de texte pour lequel les environnements locaux d'emploi sont tous réduits à des références simples, s'ils existent.
Par exemple :
Un certain environnement local d'emploi évalué s'identifie alors à la forme évaluée de l'environnement local des définitions du texte employé.
Dans les trois exemples, on évalue les utilisations du texte x dans les contextes :
