+ <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">