round_eq { sum { filter_greater_eq { all_rows ; year ; 2002 } ; laps } ; 699 } = true
select the rows whose year record is greater than or equal to 2002 . the sum of the laps record of these rows is 699 .