Interesting spot, probably needs more looking into. If it *is* all part of a large educational complex, it might be better to use a landuse tag, i.e. https://wiki.openstreetmap.org/wiki/Tag:landuse%3Deducation