Well imo the size of the platform is the minimum possible size of the station building; ideally this is true no matter what definition you may be using. What may seem like "unused" underground space could then be used as MTR internal-use office. It still checks out.