question: What is the average height with the Highest mountain of hochgall?
answer: SELECT AVG(height__m_) FROM table_name_54 WHERE highest_mountain = "hochgall"
context: CREATE TABLE table_name_54 (height__m_ INTEGER, highest_mountain VARCHAR)