I am in the process of gradually mapping all educational campuses/terrains in my town, and have run into an interesting issue. While for most educational facilities the situation is quite clear (a school with its grounds, a university with its campus, etc), I also have one area that is shared by a research institute, a university, and a college. The separate buildings are tagged properly, but I’m unsure how the area as a whole (which has a name and distinct boundary, and where the institutions share parking spaces, grounds, and access roads) should be tagged.
The amenity values for the three institutions (college, university, research_institute) exist, but none of them seems applicable to the whole area. There does not seem to be a usable generic ‘education’ amenity value, or is there?