Evaluation of machine-readable rules based on the regulation requirements is the first step towards automated examination of design documentation. The article is devoted to practical implementation of previously evaluated algorithm of rules formation for verification of building information models based on rule modelling language. The methodological basis of the algorithm is the RuleML rule modeling language, first- and higher-order logic, and the Industry Foundation Classes (IFC) standard. The author describes testing the software implementation of the algorithm on the example of one of the regulation standards of the Russian Federation. As a result, the main groups of requirements found in the standard were identified. An example of formalization and translation of a specific statement of the standard is given, which confirms the assumption that above-mentioned algorithm is appropriate. Promising areas of research have been identified in order to solve problems related to the inability to translate certain provisions of the standard.