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: Job profile of sse (signal) in railway?

What is the difference between formal axiomatic reasoning and computation?