"arvingsbygninger" er et 16-bokstavers substantiv som brukes som synonym for "gamlebygningene". gamlebygningene betyr: Gamle bygninger som er vernet eller har kulturarv