"dødsstraffdommer" er et 16-bokstavers substantiv som brukes som synonym for "dødsformodningsdommene". dødsformodningsdommene betyr: Dommer som pålegger dødsstraff.