round_eq { avg { filter_less_eq { all_rows ; season ; 1958 } ; attendance } ; 10158.5 } = true
select the rows whose season record is less than or equal to 1958 . the average of the attendance record of these rows is 10158.5 .