More semantic analysis