eq { hop { nth_argmax { filter_eq { all_rows ; architect ; john mcarthur , jr } ; height ft ( m ) ; 1 } ; name } ; philadelphia city hall } = true
select the rows whose architect record fuzzily matches to john mcarthur , jr . select the row whose height ft  m  record of these rows is 1st maximum . the name record of this row is philadelphia city hall .