Task: Text to Code
Input (English): for the crowd records of all rows , most of them are greater than or equal to 13000 .
Output (English): most_greater_eq { all_rows ; crowd ; 13000 }