Task: Grammar Error Detection
Input (English): A proof was given that the claim that John had lied had been made.
Output (English): 1