Formalization and Data Enrichment for Automated Evaluation of Building Pattern Preservation · Study