eq { count { filter_greater { filter_greater { all_rows ; home team score ; 15.12 } ; crowd ; 17500 } } ; 3 } = true
select the rows whose home team score record is greater than 15.12 . among these rows , select the rows whose crowd record is greater than 17500 . the number of such rows is 3 .