Task: Text to Code
Input (English): Command: all_greater { all_rows ; elevation ( m ) ; 1000 }, interpretation: for the elevation ( m ) records of all rows , all of them are greater than 1000 .
Output (English): yes