Abstract: Automating the checking of building envelope design according to design regulations is a complex process because these regulations consist of complicated logic sentences covering multiple functions. Existing mechanisms of ...