"innstigningsdokument" er et 20-bokstavers substantiv som brukes som synonym for "ombordstigningskort". ombordstigningskort betyr: Dokument som gir tillatelse til å gå om bord.