+ <td class="snns top capitalize italic gray">component</td>
+ <td class="snns top italic gray">plane</td>
+ <td class="snns top gray">files</td>
+ <td class="snnn top gray">
+ <br />
+ </td>
+ <td class="snnn top gray">
+ <br />
+ </td>
+ <td class="ssnn top gray">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="snns top capitalize italic wine">examples</td>
+ <td class="snns top italic wine">terms with special features</td>
+ <td class="snns top wine">ex_sta_ldec ex_cpr_omega ex_fpbg_refl ex_snv_eta</td>
+ <td class="snnn top wine">
+ <br />
+ </td>
+ <td class="snnn top wine">
+ <br />
+ </td>
+ <td class="ssnn top wine">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="snns top capitalize italic magenta" />
+ <td class="snns top italic magenta" />
+ <td class="snns top magenta" />
+ <td class="snnn top magenta">
+ <br />
+ </td>
+ <td class="snnn top magenta">
+ <br />
+ </td>
+ <td class="ssnn top magenta">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="snns top capitalize italic prune">dynamic typing</td>
+ <td class="snns top italic prune">local env. ref. for stratified native validity</td>
+ <td class="snns top prune">lsubsv ( ? ⊢ ? ⫃¡[?,?] ? )</td>
+ <td class="snnn top prune">lsubsv_lsuba lsubsv_lsubd lsubsv_lstas lsubsv_scpds lsubsv_cpcs lsubsv_snv</td>
+ <td class="snnn top prune">
+ <br />
+ </td>
+ <td class="ssnn top prune">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic prune">
+ <br />
+ </td>
+ <td class="snns top italic prune">stratified native validity</td>
+ <td class="snns top prune">shnv ( ⦃?,?⦄ ⊢ ? ¡[?,?,?] )</td>
+ <td class="snnn top prune">
+ <br />
+ </td>
+ <td class="snnn top prune">
+ <br />
+ </td>
+ <td class="ssnn top prune">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic prune">
+ <br />
+ </td>
+ <td class="nnns top italic prune">
+ <br />
+ </td>
+ <td class="snns top prune">snv ( ⦃?,?⦄ ⊢ ? ¡[?,?] )</td>
+ <td class="snnn top prune">snv_lift snv_aaa snv_da_lpr snv_lstas snv_lstas_lpr snv_lpr snv_fsb snv_scpes snv_preserve</td>
+ <td class="snnn top prune">
+ <br />
+ </td>
+ <td class="ssnn top prune">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="snns top capitalize italic blue">equivalence</td>
+ <td class="snns top italic blue">decomposed rt-equivalence</td>
+ <td class="snns top blue">scpes ( ⦃?,?⦄ ⊢ ? •*⬌*[?,?,?,?] ? )</td>
+ <td class="snnn top blue">scpes_aaa scpes_cpcs scpes_scpes</td>
+ <td class="snnn top blue">
+ <br />
+ </td>
+ <td class="ssnn top blue">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic blue">
+ <br />
+ </td>
+ <td class="snns top italic blue">context-sensitive equivalence</td>
+ <td class="snns top blue">cpcs ( ⦃?,?⦄ ⊢ ? ⬌* ? )</td>
+ <td class="snnn top blue">cpcs_aaa cpcs_cprs cpcs_cpcs</td>
+ <td class="snnn top blue">
+ <br />
+ </td>
+ <td class="ssnn top blue">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="snns top capitalize italic sky">conversion</td>
+ <td class="snns top italic sky">context-sensitive conversion</td>
+ <td class="snns top sky">cpc ( ⦃?,?⦄ ⊢ ? ⬌ ? )</td>
+ <td class="snnn top sky">cpc_cpc</td>
+ <td class="snnn top sky">
+ <br />
+ </td>
+ <td class="ssnn top sky">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="snns top capitalize italic cyan">computation</td>
+ <td class="snns top italic cyan">evaluation for context-sensitive rt-reduction</td>
+ <td class="snns top cyan">cpxe ( ⦃?,?⦄ ⊢ ➡*[?,?] 𝐍⦃?⦄ )</td>
+ <td class="snnn top cyan">
+ <br />
+ </td>
+ <td class="snnn top cyan">
+ <br />
+ </td>
+ <td class="ssnn top cyan">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic cyan">