round_eq { avg { filter_greater { all_rows ; total ; 13 } ; fighting spirit } ; 5 } = true
select the rows whose total record is greater than 13 . the average of the fighting spirit record of these rows is 5 .