Hi,

There's already an amenity=university area surrounding the building.

Additionally, could you answer the changeset comment and clarify what was going on in https://www.openstreetmap.org/changeset/138206477 ?

Awaiting your response,
Tómas Ingi