round_eq { sum { filter_greater_eq { all_rows ; points ; 10 } ; against } ; 30 } = true
select the rows whose points record is greater than or equal to 10 . the sum of the against record of these rows is 30 .