Le grand nombre de contraintes gérant la structure sémantique implique des relations plus fortes entre ces identités et différences. Nous envisagerons les différents cas, afin de statuer sur les distinctions à préserver, et sur celles qui n'ont pas lieu d'être. Nous allons donc présupposer une SE-identité entre deux entités de même nature, et voir si cela entraîne leur S-identité.