Task: Grammar Error Detection
Input (English): We proved Smith conclusively to the authorities to be the thief.
Output (English): 1