How should I map a university that's only mad up of one building? It's already on OSM as [both a building and an amenity][1], and I'm not sure if it's correct or if I should change it in any way. It doesn't really have a yard or an area around the building to tag either. [1]: https://www.openstreetmap.org/way/100442814

How should I map a university that's only mad up of one building? It's already on OSM as [both a building and an amenity][1], and I'm not sure if it's correct or if I should change it in any way. [1]: https://www.openstreetmap.org/way/100442814