| <html><head> | |
| <style> | |
| body { font-family: Arial, sans-serif; margin: 20px; } | |
| h1 { text-align: center; } | |
| .cot-title { color: blue; } | |
| .pos-title { color: green; } | |
| h2 { color: black; text-align: left; } | |
| h3 { color: black; text-align: left; } | |
| h4 { color: darkslategray; } | |
| table { width: 100%; border-collapse: collapse; margin: 20px 0; } | |
| table, th, td { border: 1px solid #ddd; padding: 8px; } | |
| th { background-color: #f2f2f2; } | |
| tr:nth-child(even) { background-color: #f9f9f9; } | |
| .highlight { background-color: #ffffcc; } | |
| .true { color: green; } | |
| .false { color: red; } | |
| .highlighted-cell { background-color: yellow; cursor: pointer; } | |
| .step-title { background-color: #f1f1f1; color: #444; padding: 10px; margin: 10px 0; font-size: 18px; border-left: 4px solid #888; } | |
| .step { display: block; } | |
| .sql-command { background-color: #f0f0f0; padding: 10px; border-left: 4px solid #4CAF50; font-family: monospace; white-space: pre-wrap; } | |
| </style> | |
| </head><body> | |
| <hr> | |
| <h3><span>Statement:</span> the carlton center , in cape town , has 50 floors</h3> | |
| <h3>Input Table: list of tallest buildings in africa</h3> | |
| <div class="step"> | |
| <table> | |
| <tr><td>name</td><td>city</td><td>years_as_tallest</td><td>metres</td><td>feet</td><td>floors</td></tr><tr><td>carlton centre</td><td>johannesburg</td><td>1973-01-01 - present</td><td>223.0</td><td>732</td><td>50</td></tr><tr><td>kwadukuza egoli hotel tower 1 , trust bank building</td><td>johannesburg</td><td>1970-01-01 - 1973-01-01</td><td>140.0</td><td>459</td><td>31</td></tr><tr><td>standard bank building</td><td>johannesburg</td><td>1968-01-01 - 1970-01-01</td><td>138.8</td><td>455</td><td>34</td></tr><tr><td>schlesinger building</td><td>johannesburg</td><td>9999-01-01</td><td>110.0</td><td>361</td><td>21</td></tr><tr><td>naspers centre</td><td>cape town</td><td>9999-01-01</td><td>93.0</td><td>205</td><td>22</td></tr><tr><td>mutual heights building</td><td>cape town</td><td>1940-01-01 - 1962-01-01</td><td>91.0</td><td>298</td><td>18</td></tr><tr><td>chamber of mines building</td><td>johannesburg</td><td>1936-01-01 - 1940-01-01</td><td>80.0</td><td>262</td><td>18</td></tr><tr><td>union buildings</td><td>pretoria</td><td>1913-01-01 - 1936-01-01</td><td>60.0</td><td>196</td><td>10</td></tr> | |
| </table> | |
| </div> | |
| <h3>SQL Command:</h3> | |
| <div class="sql-command">SELECT | |
| CASE | |
| WHEN COUNT(*) = 0 THEN 'FALSE' | |
| ELSE 'TRUE' | |
| END | |
| FROM table_sql | |
| WHERE name = 'carlton centre' | |
| AND city = 'johannesburg' | |
| AND floors = 50;</div> | |
| </body></html> | |