"paviljong" er et 9-bokstavers substantiv som brukes som synonym for "shelterdekker". shelterdekker betyr: Åpent eller lukket overbygg