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