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