"ombordstigningspapir" er et 20-bokstavers substantiv som brukes som synonym for "ombordstigningskort". ombordstigningskort betyr: Papir som brukes for å komme om bord.