Task: Grammar Error Detection
Input (English): Bob proved that this set is recursive.
Output (English): 1