"billettsjekkingsprosedyre" er et 25-bokstavers substantiv som brukes som synonym for "billettkontrollene". billettkontrollene betyr: Prosedyrer for å sjekke billetter.