Statement: at 459 feet , the schiesinger building is the fourth largest building in johannesburg

Input Table: list of tallest buildings in africa

Step 1: Order the table by 'feet' in descending order.
name city years_as_tallest metres feet floors
carlton centre johannesburg 1973-01-01 - present 223.0 732 50
kwadukuza egoli hotel tower 1 , trust bank building johannesburg 1970-01-01 - 1973-01-01 140.0 459 31
standard bank building johannesburg 1968-01-01 - 1970-01-01 138.8 455 34
schlesinger building johannesburg 9999-01-01 110.0 361 21
naspers centre cape town 9999-01-01 93.0 205 22
mutual heights building cape town 1940-01-01 - 1962-01-01 91.0 298 18
chamber of mines building johannesburg 1936-01-01 - 1940-01-01 80.0 262 18
union buildings pretoria 1913-01-01 - 1936-01-01 60.0 196 10

Step 2: Select row number 4.
name city years_as_tallest metres feet floors
carlton centre johannesburg 1973-01-01 - present 223.0 732 50
kwadukuza egoli hotel tower 1 , trust bank building johannesburg 1970-01-01 - 1973-01-01 140.0 459 31
standard bank building johannesburg 1968-01-01 - 1970-01-01 138.8 455 34
schlesinger building johannesburg 9999-01-01 110.0 361 21
mutual heights building cape town 1940-01-01 - 1962-01-01 91.0 298 18
chamber of mines building johannesburg 1936-01-01 - 1940-01-01 80.0 262 18
naspers centre cape town 9999-01-01 93.0 205 22
union buildings pretoria 1913-01-01 - 1936-01-01 60.0 196 10

Step 3: Select rows where 'name' is 'schlesinger building' and 'city' is 'johannesburg'.
name city years_as_tallest metres feet floors
schlesinger building johannesburg 9999-01-01 110.0 361 21

Step 4: Use a `CASE` statement to return TRUE if the number of rows is equal to 1, otherwise return FALSE.
name city years_as_tallest metres feet floors
schlesinger building johannesburg 9999-01-01 110.0 361 21

verification_result
TRUE