Task: Text to Code
Input (English): Command: all_greater_eq { all_rows ; crowd ; 8000 }, interpretation: for the crowd records of all rows , all of them are greater than or equal to 8000 .
Output (English): yes