Ни к чему так и не пришли пока что. Тут рядом велось активное обсуждение о том, как рисовать здания сложной формы, вроде даже пришли к следующему:
Здания, которые имеют название/адрес рисуются как building=yes, name=, addr:=.
Если здание составное, то есть имеет пристройки другой этажности/формы, но по прежнему общий адрес, то оно тоже рисуется единым полигоном building=yes, name=, addr:= по контуру. А затем строения отличной этажности, компановки, переходы и прочее рисуются поверх как building:part=yes. В общем, как я понял из обсуждения «Трёхмерные здания», building=yes это юридический объект, нечто имеющее адрес. А собственно строения его составляющие это уже building:part=yes. Способа связать их пока нет, хотя тут то не будет расхождений с положением, все building:part в пределах многоугольника building принадлежат ему.
Amenity=university это конкретно территория университета, а не здания его составляющие, так что этот тэг ставится только на территорию. Здания уже обозначаются как name=, amenity на них не должно быть, иначе будет шибко много университетов. Столовые я обозначаю как amenity=cafe.
Если по нескольку факультетов в одном здании, то как Surely сказал, лучше ставить точку с name=факультет *.
По поводу юр. адерса вуза как раз мой основной вопрос. Варианта вижу два — ставить на главный корпус, обычно там находится ректорат, либо ваять отношение, как я говорил раньше. Лично мне больше нравится отношение, ведь связь корпусов вуза, как правильно заметил ZCC, не является информацией о физическом объекте. Причём таких отношений в пропозалах целая куча, включая уже используемый type=operator, который тоже подходит под данную задачу. Но andriano предостерегает от объединения в отношения разрозненных объектов, хотя тот же type=operator у нас объединяет заправки по всей области.
В общем, я шерсчу пропозалы и ищу подходящие под эту задачу, вместо того, чтобы маппить. Но если вам хочется уже отметить, делайте так, чтобы потом можно было максимально легко переделать под какую-то из изложенных моделей.