Dans cette étape, les taxèmes précédemment créés et remplis devront être spécifiés, en mettant en place l'organisation de leur graphe d'oppositions. Il nous faudra dès lors des opérateurs de création de spécèmes (+sp), et d'activation de ceux-ci (activ). Ce dernier sollicitera l'interprète dans le repérage d'un sème (+se), et l'associera au spécème concerné (+i(sp,se)). Les contraintes liées à l'organisation d'un tel graphe d'opposition seront gérées notamment par l'opérateur de complétude (comp(t)), qui exigera l'activation d'un nombre minimal de spécèmes pour un taxème donné.
Une fois cette étape effectuée pour tous les taxèmes définis, la structure sémantique de l'interprétation est stable : toutes les contraintes définies au chapitre précédent sont satisfaites.