eq { hop { argmax { all_rows ; height feet / metres } ; name } ; dravska vrata } = true
select the row whose height feet  metres record of all rows is maximum . the name record of this row is dravska vrata .