Definition: In this task you're given a question and you have to paraphrase the question to create the output question while retaining the meaning of the original question.
Input: What's the difference between an analytic and a synthetic proof?

What is the difference between an "analytic" and a "synthetic" language?