- <td class="snns component prune">dynamic typing</td>
- <td class="snns plane prune">local env. ref. for stratified native validity</td>
- <td class="snns file prune">lsubsv ( ? ⊢ ? ¡⫃[?,?] ? )</td>
- <td class="snnn file prune">lsubsv_lsuba lsubsv_lsubd lsubsv_lstas lsubsv_cpds lsubsv_cpcs lsubsv_snv</td>
- <td class="snnn file prune">
+ <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">