Client-developed building programs are increasingly burdened with a number of requirements such as building codes, safety, and programming requirements. Managing these requirements ensures the successful performance of subsequent procedures and the high quality of a project. However, because assessing a building design relies primarily on the competence and dexterity of an architect, domain experts often do not discover that these requirements have not been met until late in the construction phase. For example, a hospital design, which has a complex structure or complicated requirements, should be evaluated with multi-functional features that help maintain the consistent quality of the design. Therefore, to support the evaluation of a building design, this paper proposes automated rule-based checking that assures satisfaction of the requirements of a spatial program and visibility. This rule-checking process uses the extended rule language of the building environment rule and analysis implemented on the Solibri Model Checker.