Validate Semantics ()