Semantic statement polishment