Would you like to copy the permanent link to your clipboard?
Permanent link:
https://help.openstreetmap.org/questions/38285/how-to-tag-campus-buildings-that-also-in-practical-use/38290