"brukt bygning" er et 13-bokstavers substantiv som brukes som synonym for "gamlebygning". gamlebygning betyr: En gammel bygning som har vært i bruk over tid