+ <td class="snns top italic cyan">t-bound context-sensitive rt-transition</td>
+ <td class="snns top cyan">lfpr ( ⦃?,?⦄ ⊢ ➡[?,?] ? )</td>
+ <td class="ssnn top cyan">lfpr_length lfpr_drops lfpr_fquq lfpr_fqup lfpr_frees lfpr_aaa lfpr_lfpx lfpr_lfpr</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic cyan">
+ <br />
+ </td>
+ <td class="nnns top italic cyan">
+ <br />
+ </td>
+ <td class="snns top cyan">cpr_ext ( ⦃?,?⦄ ⊢ ? ➡[?] ? )</td>
+ <td class="ssnn top cyan">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic cyan">
+ <br />
+ </td>
+ <td class="nnns top italic cyan">
+ <br />
+ </td>
+ <td class="snns top cyan">cpr ( ⦃?,?⦄ ⊢ ? ➡[?] ? )</td>
+ <td class="ssnn top cyan">cpr_drops</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic cyan">
+ <br />
+ </td>
+ <td class="nnns top italic cyan">
+ <br />
+ </td>
+ <td class="snns top cyan">cpm ( ⦃?,?⦄ ⊢ ? ➡[?,?] ? )</td>
+ <td class="ssnn top cyan">cpm_simple cpm_drops cpm_lsubr cpm_lfxs cpm_cpx</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic cyan">
+ <br />
+ </td>