"inngangslobby" er et 13-bokstavers substantiv som brukes som synonym for "billetthallene". billetthallene betyr: Lyst og åpent rom ved inngangen