Challenges in Semantics for Computer-Aided Designs