A fully-automated approach to code compliance checking in construction is proposed. Requirements are extracted from the code and formalized into rules, automatically. Natural language processing & a logic representation enable such full automation. Semantic transformation aligns design information with regulatory information. A prototype achieved 98.7% recall & 87.6% precision in noncompliance detection.