"forvaltningsdomstoler" er et 21-bokstavers substantiv som brukes som synonym for "overligningsnemnder". overligningsnemnder betyr: Domstoler som behandler forvaltningssaker.