semantic analyses