| <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> oleksandr vorobiov ( ukr ) had a total score of 16.25</h3> | |
| <h3>Input Table: gymnastics at the 2008 summer olympics - men 's rings</h3> | |
| <div class="step"> | |
| <table> | |
| <tr><td>position</td><td>gymnast</td><td>a_score</td><td>b_score</td><td>total</td></tr><tr><td>1</td><td>chen yibing ( chn )</td><td>7.3</td><td>9.225</td><td>16.525</td></tr><tr><td>2</td><td>yordan yovchev ( bul )</td><td>7.3</td><td>8.975</td><td>16.275</td></tr><tr><td>3</td><td>oleksandr vorobiov ( ukr )</td><td>7.2</td><td>9.05</td><td>16.25</td></tr><tr><td>4</td><td>yang wei ( chn )</td><td>7.3</td><td>8.925</td><td>16.225</td></tr><tr><td>5</td><td>matteo morandi ( ita )</td><td>7.1</td><td>8.925</td><td>16.025</td></tr><tr><td>6</td><td>andrea coppolino ( ita )</td><td>6.8</td><td>9.175</td><td>15.975</td></tr><tr><td>7</td><td>danny pinheiro rodrigues ( fra )</td><td>7.2</td><td>8.6</td><td>15.8</td></tr><tr><td>8</td><td>robert stanescu ( rou )</td><td>7.0</td><td>8.75</td><td>15.75</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 gymnast = 'oleksandr vorobiov ( ukr )' | |
| AND total = 16.25;</div> | |
| </body></html> | |