"inngangsportal" er et 14-bokstavers substantiv som brukes som synonym for "billetthallene". billetthallene betyr: Inngangsportal eller døråpning