round_eq { avg { filter_greater { all_rows ; founded ; 1850 } ; enrollment } ; 2939 } = true
select the rows whose founded record is greater than 1850 . the average of the enrollment record of these rows is 2939 .