|
<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; } |
|
</style> |
|
</head><body> |
|
<h1 class="pos-title">Plan-of-SQLs (Ours)</h1> |
|
<hr> |
|
<h3><span>Statement:</span> brian sipe started eight more games than bernie kosar</h3> |
|
<h3>Ground-truth:</span> FALSE</h3> |
|
<h3>Input Table: list of cleveland browns starting quarterbacks</h3> |
|
<div class="step"> |
|
<div class="step"> |
|
<div class="step-title">Step 1: Select rows where 'quarterback' is 'brian sipe'.</div> |
|
<div id="step-1" class="content"> |
|
<table> |
|
<tr> |
|
<td>quarterback</td> |
|
<td>uniform_no__s</td> |
|
<td>games_started</td> |
|
<td>wins</td> |
|
<td>losses</td> |
|
<td>ties</td> |
|
<td>winning_pct</td> |
|
</tr> |
|
<tr> |
|
<td>sipe , brian</td> |
|
<td>17</td> |
|
<td>112</td> |
|
<td>57</td> |
|
<td>55</td> |
|
<td>0</td> |
|
<td>589.0</td> |
|
</tr> |
|
<tr> |
|
<td>kosar , bernie</td> |
|
<td>19</td> |
|
<td>105</td> |
|
<td>53</td> |
|
<td>51</td> |
|
<td>1</td> |
|
<td>595.0</td> |
|
</tr> |
|
<tr> |
|
<td>ryan , frank</td> |
|
<td>13</td> |
|
<td>76</td> |
|
<td>52</td> |
|
<td>22</td> |
|
<td>2</td> |
|
<td>697.0</td> |
|
</tr> |
|
<tr> |
|
<td>graham , otto</td> |
|
<td>60 , 14</td> |
|
<td>71</td> |
|
<td>57</td> |
|
<td>13</td> |
|
<td>1</td> |
|
<td>810.0</td> |
|
</tr> |
|
<tr> |
|
<td>couch , tim</td> |
|
<td>2</td> |
|
<td>59</td> |
|
<td>22</td> |
|
<td>37</td> |
|
<td>0</td> |
|
<td>373.0</td> |
|
</tr> |
|
<tr> |
|
<td>nelsen , bill</td> |
|
<td>16</td> |
|
<td>51</td> |
|
<td>34</td> |
|
<td>16</td> |
|
<td>1</td> |
|
<td>676.0</td> |
|
</tr> |
|
<tr> |
|
<td>phipps , mike</td> |
|
<td>15</td> |
|
<td>51</td> |
|
<td>24</td> |
|
<td>25</td> |
|
<td>2</td> |
|
<td>490.0</td> |
|
</tr> |
|
<tr> |
|
<td>plum , milt</td> |
|
<td>16</td> |
|
<td>51</td> |
|
<td>33</td> |
|
<td>16</td> |
|
<td>2</td> |
|
<td>667.0</td> |
|
</tr> |
|
<tr> |
|
<td>anderson , derek</td> |
|
<td>3</td> |
|
<td>34</td> |
|
<td>16</td> |
|
<td>18</td> |
|
<td>0</td> |
|
<td>471.0</td> |
|
</tr> |
|
<tr> |
|
<td>testaverde , vinny</td> |
|
<td>12</td> |
|
<td>31</td> |
|
<td>16</td> |
|
<td>15</td> |
|
<td>0</td> |
|
<td>516.0</td> |
|
</tr> |
|
<tr> |
|
<td>mcdonald , paul</td> |
|
<td>16</td> |
|
<td>21</td> |
|
<td>8</td> |
|
<td>13</td> |
|
<td>0</td> |
|
<td>381.0</td> |
|
</tr> |
|
<tr> |
|
<td>mccoy , colt</td> |
|
<td>12</td> |
|
<td>21</td> |
|
<td>6</td> |
|
<td>15</td> |
|
<td>0</td> |
|
<td>286.0</td> |
|
</tr> |
|
<tr> |
|
<td>frye , charlie</td> |
|
<td>9</td> |
|
<td>19</td> |
|
<td>6</td> |
|
<td>13</td> |
|
<td>0</td> |
|
<td>316.0</td> |
|
</tr> |
|
<tr> |
|
<td>weeden , brandon</td> |
|
<td>3</td> |
|
<td>19</td> |
|
<td>5</td> |
|
<td>14</td> |
|
<td>0</td> |
|
<td>263.0</td> |
|
</tr> |
|
<tr> |
|
<td>o'connell , tommy</td> |
|
<td>15</td> |
|
<td>14</td> |
|
<td>10</td> |
|
<td>3</td> |
|
<td>1</td> |
|
<td>750.0</td> |
|
</tr> |
|
<tr> |
|
<td>holcomb , kelly</td> |
|
<td>10</td> |
|
<td>12</td> |
|
<td>4</td> |
|
<td>8</td> |
|
<td>0</td> |
|
<td>333.0</td> |
|
</tr> |
|
<tr> |
|
<td>quinn , brady</td> |
|
<td>10</td> |
|
<td>12</td> |
|
<td>3</td> |
|
<td>9</td> |
|
<td>0</td> |
|
<td>250.0</td> |
|
</tr> |
|
<tr> |
|
<td>ninowski , jim</td> |
|
<td>15 , 11</td> |
|
<td>11</td> |
|
<td>5</td> |
|
<td>6</td> |
|
<td>0</td> |
|
<td>455.0</td> |
|
</tr> |
|
<tr> |
|
<td>dilfer , trent</td> |
|
<td>8</td> |
|
<td>11</td> |
|
<td>4</td> |
|
<td>7</td> |
|
<td>0</td> |
|
<td>364.0</td> |
|
</tr> |
|
<tr> |
|
<td>garcia , jeff</td> |
|
<td>5</td> |
|
<td>10</td> |
|
<td>3</td> |
|
<td>7</td> |
|
<td>0</td> |
|
<td>300.0</td> |
|
</tr> |
|
<tr> |
|
<td>danielson , gary</td> |
|
<td>18</td> |
|
<td>8</td> |
|
<td>5</td> |
|
<td>3</td> |
|
<td>0</td> |
|
<td>625.0</td> |
|
</tr> |
|
<tr> |
|
<td>tomczak , mike</td> |
|
<td>18</td> |
|
<td>8</td> |
|
<td>4</td> |
|
<td>4</td> |
|
<td>0</td> |
|
<td>500.0</td> |
|
</tr> |
|
<tr> |
|
<td>pederson , doug</td> |
|
<td>18</td> |
|
<td>8</td> |
|
<td>1</td> |
|
<td>7</td> |
|
<td>0</td> |
|
<td>125.0</td> |
|
</tr> |
|
<tr> |
|
<td>pagel , mike</td> |
|
<td>10</td> |
|
<td>7</td> |
|
<td>2</td> |
|
<td>5</td> |
|
<td>0</td> |
|
<td>286.0</td> |
|
</tr> |
|
<tr> |
|
<td>wallace , seneca</td> |
|
<td>6</td> |
|
<td>7</td> |
|
<td>1</td> |
|
<td>6</td> |
|
<td>0</td> |
|
<td>143.0</td> |
|
</tr> |
|
<tr> |
|
<td>ratterman , george</td> |
|
<td>12 , 16</td> |
|
<td>5</td> |
|
<td>2</td> |
|
<td>3</td> |
|
<td>0</td> |
|
<td>400.0</td> |
|
</tr> |
|
<tr> |
|
<td>philcox , todd</td> |
|
<td>17</td> |
|
<td>5</td> |
|
<td>2</td> |
|
<td>3</td> |
|
<td>0</td> |
|
<td>400.0</td> |
|
</tr> |
|
<tr> |
|
<td>delhomme , jake</td> |
|
<td>17</td> |
|
<td>4</td> |
|
<td>2</td> |
|
<td>2</td> |
|
<td>0</td> |
|
<td>500.0</td> |
|
</tr> |
|
<tr> |
|
<td>mays , dave</td> |
|
<td>10</td> |
|
<td>4</td> |
|
<td>1</td> |
|
<td>3</td> |
|
<td>0</td> |
|
<td>250.0</td> |
|
</tr> |
|
<tr> |
|
<td>zeier , eric</td> |
|
<td>10</td> |
|
<td>4</td> |
|
<td>1</td> |
|
<td>3</td> |
|
<td>0</td> |
|
<td>250.0</td> |
|
</tr> |
|
<tr> |
|
<td>mccown , luke</td> |
|
<td>12</td> |
|
<td>4</td> |
|
<td>0</td> |
|
<td>4</td> |
|
<td>0</td> |
|
<td>0.0</td> |
|
</tr> |
|
<tr> |
|
<td>parilli , babe</td> |
|
<td>18</td> |
|
<td>3</td> |
|
<td>1</td> |
|
<td>2</td> |
|
<td>0</td> |
|
<td>333.0</td> |
|
</tr> |
|
<tr> |
|
<td>rypien , mark</td> |
|
<td>11</td> |
|
<td>3</td> |
|
<td>2</td> |
|
<td>1</td> |
|
<td>0</td> |
|
<td>667.0</td> |
|
</tr> |
|
<tr> |
|
<td>dorsey , ken</td> |
|
<td>11</td> |
|
<td>3</td> |
|
<td>0</td> |
|
<td>3</td> |
|
<td>0</td> |
|
<td>0.0</td> |
|
</tr> |
|
<tr> |
|
<td>hoyer , brian</td> |
|
<td>6</td> |
|
<td>3</td> |
|
<td>3</td> |
|
<td>0</td> |
|
<td>0</td> |
|
<td>1.0</td> |
|
</tr> |
|
<tr> |
|
<td>strock , don</td> |
|
<td>12</td> |
|
<td>2</td> |
|
<td>2</td> |
|
<td>0</td> |
|
<td>0</td> |
|
<td>1.0</td> |
|
</tr> |
|
<tr> |
|
<td>christensen , jeff</td> |
|
<td>11</td> |
|
<td>2</td> |
|
<td>1</td> |
|
<td>1</td> |
|
<td>0</td> |
|
<td>500.0</td> |
|
</tr> |
|
<tr> |
|
<td>detmer , ty</td> |
|
<td>11</td> |
|
<td>2</td> |
|
<td>0</td> |
|
<td>2</td> |
|
<td>0</td> |
|
<td>0.0</td> |
|
</tr> |
|
<tr> |
|
<td>campbell , jason</td> |
|
<td>17</td> |
|
<td>2</td> |
|
<td>1</td> |
|
<td>1</td> |
|
<td>0</td> |
|
<td>500.0</td> |
|
</tr> |
|
<tr> |
|
<td>gault , don</td> |
|
<td>11</td> |
|
<td>1</td> |
|
<td>1</td> |
|
<td>0</td> |
|
<td>0</td> |
|
<td>1.0</td> |
|
</tr> |
|
<tr> |
|
<td>lane , gary</td> |
|
<td>15</td> |
|
<td>1</td> |
|
<td>0</td> |
|
<td>1</td> |
|
<td>0</td> |
|
<td>0.0</td> |
|
</tr> |
|
<tr> |
|
<td>dawson , len</td> |
|
<td>18</td> |
|
<td>1</td> |
|
<td>1</td> |
|
<td>0</td> |
|
<td>0</td> |
|
<td>1.0</td> |
|
</tr> |
|
<tr> |
|
<td>wynn , spergon</td> |
|
<td>13</td> |
|
<td>1</td> |
|
<td>0</td> |
|
<td>1</td> |
|
<td>0</td> |
|
<td>0.0</td> |
|
</tr> |
|
<tr> |
|
<td>luck , terry</td> |
|
<td>7</td> |
|
<td>1</td> |
|
<td>0</td> |
|
<td>1</td> |
|
<td>0</td> |
|
<td>0.0</td> |
|
</tr> |
|
<tr> |
|
<td>cureton , will</td> |
|
<td>16</td> |
|
<td>1</td> |
|
<td>0</td> |
|
<td>1</td> |
|
<td>0</td> |
|
<td>0.0</td> |
|
</tr> |
|
<tr> |
|
<td>gradkowski , bruce</td> |
|
<td>7</td> |
|
<td>1</td> |
|
<td>0</td> |
|
<td>1</td> |
|
<td>0</td> |
|
<td>0.0</td> |
|
</tr> |
|
<tr> |
|
<td>lewis , thaddeus</td> |
|
<td>9</td> |
|
<td>1</td> |
|
<td>0</td> |
|
<td>1</td> |
|
<td>0</td> |
|
<td>0.0</td> |
|
</tr> |
|
</table> |
|
</div> |
|
<hr> |
|
<div class="step"> |
|
<div class="step-title">Step 2: Select rows where 'quarterback' is 'bernie kosar'.</div> |
|
<div id="step-0" class="content"> |
|
<table> |
|
<tr> |
|
<td>quarterback</td> |
|
<td>uniform_no__s</td> |
|
<td>games_started</td> |
|
<td>wins</td> |
|
<td>losses</td> |
|
<td>ties</td> |
|
<td>winning_pct</td> |
|
</tr> |
|
</table> |
|
</div> |
|
</div> |
|
<hr> |
|
<div class="step"> |
|
<div class="step-title">Step 3: Subtract the value of 'games_started' for 'brian sipe' from the value of 'games_started' for 'bernie kosar'.</div> |
|
<div id="step-1" class="content"> |
|
<table> |
|
<tr> |
|
<td>quarterback</td> |
|
<td>uniform_no__s</td> |
|
<td>games_started</td> |
|
<td>wins</td> |
|
<td>losses</td> |
|
<td>ties</td> |
|
<td>winning_pct</td> |
|
</tr> |
|
</table> |
|
</div> |
|
</div> |
|
<hr> |
|
<div class="step"> |
|
<div class="step-title">Step 4: Use a `CASE` statement to return TRUE if the difference is equal to 8, otherwise return FALSE.</div> |
|
<div id="step-2" class="content"> |
|
<table> |
|
<tr> |
|
<td>games_started_difference</td> |
|
</tr> |
|
</table> |
|
</div> |
|
</div> |
|
<hr> |
|
<div class="step"> |
|
<div class="step-title">Final output table:</div> |
|
<div id="step-3" class="content"> |
|
<table> |
|
<tr> |
|
<td>verification_result</td> |
|
</tr> |
|
</table> |
|
</div> |
|
</div> |
|
<hr> |
|
<div class="step"><h3><span class="false">Prediction: </span></h3> |
|
<h3>Ground-truth:</span> FALSE</h3></div> |
|
</body></html> |
|
|