+ <tr>
+ <td class="snns top capitalize italic water">rt-transition</td>
+ <td class="snns top italic water">uncounted context-sensitive rt-transition</td>
+ <td class="snns top water">lfpx ( ⦃?,?⦄ ⊢ ⬈[?,?] ? )</td>
+ <td class="snnn top water">lfpx_length lfpx_drops lfpx_fqup</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">cpx ( ⦃?,?⦄ ⊢ ? ⬈[?] ? )</td>
+ <td class="snnn top water">cpx_simple cpx_drops cpx_lsubr</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="snns top italic water">counted context-sensitive rt-transition</td>
+ <td class="snns top water">cpg ( ⦃?,?⦄ ⊢ ? ⬈[?,?] ? )</td>
+ <td class="snnn top water">cpg_simple cpg_drops cpg_lsubr</td>
+ <td class="snnn top water">
+ <br />
+ </td>
+ <td class="ssnn top water">
+ <br />
+ </td>
+ </tr>