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