I am new to osm, so please bear with me. I am currently updating the tags and adding POIs at my university. The university has quite a large campus, extending over dozens of buildings, playing fields, etc. Should all the buildings within the university be tagged `amenity=university`? There is already a polygon bounding the university grounds with that tag.

I am new to osm, so please bear with me. I am currently updating the tags and adding POIs at my university. The university has quite a large campus, extending over dozens of buildings, playing fields, etc. Should all the buildings within the university be tagged `amenity=university`? There is already a polygon bounding the university grounds with that tag.