and { eq { hop { argmax { all_rows ; win % } ; played } ; 16 } ; eq { hop { argmax { all_rows ; win % } ; wins } ; 9 } } = true
select the row whose win  record of all rows is maximum . the played record of this row is 16 . the wins record of this row is 9 .