Correct semantic-parse-function