https://www.openstreetmap.org/way/450079286
Das Bauteil über dem Platz ist in den Daten drin, und auch richtigerweise als building:part. Allerdings ist das Universitätsgebäude als ganzes hier doppelt erfasst. Einmal als Multipolygon:
https://www.openstreetmap.org/relation/6924026

und einmal als Relation:
https://www.openstreetmap.org/relation/3952054

Nicht nur, aber auch, deshalb wird dieser Teil in der Standardkarte nicht dargestellt.