Task: Text Quality Evaluation
Input (English): Bob proved this set is recursive.
Output (English): acceptable