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