+ <td class="snns top capitalize italic blue">rt-conversion</td>
+ <td class="snns top capitalize italic blue">context-sensitive parallel r-conversion</td>
+ <td class="snns top italic blue">for terms</td>
+ <td class="snns top blue">cpc ( ⦃?,?⦄ ⊢ ? ⬌[?] ? )</td>
+ <td class="ssnn top blue">cpc_cpc</td>
+ </tr>
+ <tr>
+ <td class="snns top capitalize italic sky">rt-computation</td>
+ <td class="snns top capitalize italic sky">uncounted context-sensitive parallel rt-computation</td>
+ <td class="snns top italic sky">refinement for lenvs</td>
+ <td class="snns top sky">lsubsx ( ? ⊢ ? ⊆ⓧ[?,?,?] ? )</td>
+ <td class="ssnn top sky">lsubsx_lfsx lsubsx_lsubsx</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic sky">
+ <br />
+ </td>
+ <td class="nnns top capitalize italic sky">
+ <br />
+ </td>
+ <td class="snns top italic sky">strongly normalizing for lenvs on referred entries</td>
+ <td class="snns top sky">lfsx ( ? ⊢ ⬈*[?,?,?] 𝐒⦃?⦄ )</td>
+ <td class="ssnn top sky">lfsx_drops lfsx_fqup lfsx_lfpxs lfsx_lfsx</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic sky">
+ <br />
+ </td>
+ <td class="nnns top capitalize italic sky">
+ <br />
+ </td>
+ <td class="snns top italic sky">strongly normalizing for term vectors</td>
+ <td class="snns top sky">csx_vector ( ⦃?,?⦄ ⊢ ⬈*[?,?] 𝐒⦃?⦄ )</td>
+ <td class="ssnn top sky">csx_cnx_vector csx_csx_vector</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic sky">
+ <br />
+ </td>
+ <td class="nnns top capitalize italic sky">
+ <br />
+ </td>
+ <td class="snns top italic sky">strongly normalizing for terms</td>
+ <td class="snns top sky">csx ( ⦃?,?⦄ ⊢ ⬈*[?,?] 𝐒⦃?⦄ )</td>
+ <td class="ssnn top sky">csx_simple csx_simple_theq csx_drops csx_lsubr csx_lfdeq csx_aaa csx_gcp csx_gcr csx_lfpx csx_cnx csx_cpxs csx_lfpxs csx_csx</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic sky">
+ <br />
+ </td>
+ <td class="nnns top capitalize italic sky">
+ <br />
+ </td>
+ <td class="snns top italic sky">for lenvs on referred entries</td>
+ <td class="snns top sky">lfpxs ( ⦃?,?⦄ ⊢ ⬈*[?,?] ? )</td>
+ <td class="ssnn top sky">lfpxs_length lfpxs_drops lfpxs_fqup lfpxs_lfdeq lfpxs_aaa lfpxs_cpxs lfpxs_lpxs lfpxs_lfpxs</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic sky">
+ <br />
+ </td>
+ <td class="nnns top capitalize italic sky">
+ <br />
+ </td>
+ <td class="snns top italic sky">for lenvs on all entries</td>
+ <td class="snns top sky">lpxs ( ⦃?,?⦄ ⊢ ⬈*[?] ? )</td>
+ <td class="ssnn top sky">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic sky">
+ <br />
+ </td>
+ <td class="nnns top capitalize italic sky">
+ <br />
+ </td>
+ <td class="snns top italic sky">for terms</td>
+ <td class="snns top sky">cpxs ( ⦃?,?⦄ ⊢ ? ⬈*[?] ? )</td>
+ <td class="ssnn top sky">cpxs_tdeq cpxs_theq cpxs_theq_vector cpxs_drops cpxs_fqus cpxs_lsubr cpxs_lfdeq cpxs_aaa cpxs_lpx cpxs_lfpx cpxs_cnx cpxs_cpxs</td>
+ </tr>
+ <tr>
+ <td class="snns top capitalize italic cyan">rt-transition</td>
+ <td class="snns top capitalize italic cyan">uncounted parallel rst-transition</td>
+ <td class="snns top italic cyan">for closures</td>
+ <td class="snns top cyan">fpbq ( ⦃?,?,?⦄ ≽[?] ⦃?,?,?⦄ )</td>
+ <td class="ssnn top cyan">fpbq_aaa</td>