"Den europeiske menneskerettsdomstol" er et 35-bokstavers substantiv som brukes som synonym for "Europadomstolen". Europadomstolen betyr: Domstol som avgjør saker om menneskerettigheter i Europa