+ <td class="snns top italic water">t-bound context-sensitive rt-transition</td>
+ <td class="snns top water">cpr ( ⦃?,?⦄ ⊢ ? ➡[?] ? )</td>
+ <td class="snnn top water">cpr_drops</td>
+ <td class="snnn top water">
+ <br />
+ </td>
+ <td class="ssnn top water">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic water">
+ <br />
+ </td>
+ <td class="nnns top italic water">
+ <br />
+ </td>
+ <td class="snns top water">cpm ( ⦃?,?⦄ ⊢ ? ➡[?,?] ? )</td>
+ <td class="snnn top water">cpm_simple cpm_drops cpm_lsubr cpm_cpx</td>
+ <td class="snnn top water">
+ <br />
+ </td>
+ <td class="ssnn top water">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic water">
+ <br />
+ </td>