and { eq { nth_min { all_rows ; date ; 1 } ; 03 oct } ; eq { hop { nth_argmin { all_rows ; date ; 1 } ; time } ; 12:00 } } = true
the 1st minimum date record of all rows is 03 oct . the time record of the row with 1st minimum date record is 12:00 .