Nous nous trouvons donc dans le cas d'une <<opposition transitive>> du
type représenté dans le schéma 
.
Figure: Lien se entre les deux sémèmes
Bien évidemment, ce lien supportant se entre 
et 
ne peut
pas être translaté dans le nouveau taxème, puisque ce dernier aura
justement se comme sème microgénérique (contrainte de la
redondance). Par contre, les autres qualifications pouvant exister entre
et seront translatées. Nous pouvons donc avoir, dans les
cas minimaux, une non-complétude dans le taxème final. Un tel cas de
figure sera donc traité simplement par application de l'opérateur
comp sur le taxème final. À part cette opération supplémentaire, les
autres étapes sont conservées.