complete semantic analysis