and { eq { hop { argmax { filter_eq { all_rows ; pos ; dnf } ; laps } ; year } ; 2005 } ; eq { hop { argmax { filter_eq { all_rows ; pos ; dnf } ; laps } ; class pos } ; dnf } } = true
select the rows whose pos record fuzzily matches to dnf . select the row whose laps record of these rows is maximum . the year record of this row is 2005 . the class pos record of this row is dnf .