We can't just tell them there are flaws in their codes. They already use mark-up languages. From our perspective, we want them to use semantic type definitions or classifiers. Maybe with use of technologies they might be easily persuaded Part of the problem is that engineers and architects are not demanding this on the fly. We should just wait.
Building codes grow from catastrophe.
They don't know how to modify it short of catastrophes Technology has overrun the problem, there is no technological problem, There are some practical problems for higher-order logic, not technological. There are some programs which tell if one classification subsumes another only if in some type of formal representation. Any similarities between building codes and laws in the United States. Environmental regulations are worse. Software industry will eventually have quality assurances.