eq { count { filter_eq { filter_greater { all_rows ; school enrollment ( 200810 ) ; 70 } ; football ; y } } ; 4 } = true
select the rows whose school enrollment  200810  record is greater than 70 . among these rows , select the rows whose football record fuzzily matches to y . the number of such rows is 4 .