Incidentally, there’s also a current thread about “post office partner” in the UK forum How should I tag a Post Office in a shop in the UK?
And yeah, there’s many examples of “sub-shops” that are mapped separately - gas stations at supermarkets, convenience stores or coffee shops at gas stations, Starbucks cafes in supermarkets, I think I’ve even seen DYI store garden centres mapped separately sometimes.