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