Une fois ceci fait, la structure doit commencer à mettre en place les contraintes précédemment définies. Il faut avant tout construire l'ensemble des sémèmes (+s), les associer aux épisémèmes (qui eux sont de simples pointeurs sur le texte analysé, avec +e(s)), et les associer en classes, notamment en taxèmes (+t, add(s,t)), et reporter sur ceux-ci les relations sémèmes-sèmes précédemment déclarées par l'interprète (avec activation de la fonction I).
À ce stade seront gérées les contraintes sur l'intersection et l'inclusion des classes, pour lesquelles l'interprète aura à choisir entre plusieurs possibilités, en fonction ses propositions initiales. Cette étape fera donc intervenir un opérateur de choix (select, et des opérations liées au déplacement des sémèmes par rapport aux taxèmes (sub(s,t)).