"forvaltningsdomstol" er et 19-bokstavers substantiv som brukes som synonym for "overligningsnemnder". overligningsnemnder betyr: Domstol som behandler forvaltningssaker.