eq { hop { nth_argmax { all_rows ; floors ; 3 } ; street address } ; 1111 main street } = true
select the row whose floors record of all rows is 3rd maximum . the street address record of this row is 1111 main street .