I'm pretty sure splitting the building like this would be correct (it's been a while since I've been there). However, GRB shows the entire building as one. Could it be an idea to map the different parts as `building:part=*`?

If I have time today, I'll try and pass there to have a look. If not, I'll pass in Leuven again the following days, maybe then.