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