+ <td class="nnns top capitalize italic water">
+ <br />
+ </td>
+ <td class="snns top italic water">counted context-sensitive rt-transition</td>
+ <td class="snns top water">cpg ( ⦃?,?⦄ ⊢ ? ⬈[?,?] ? )</td>
+ <td class="snnn top water">cpg_simple cpg_drops cpg_lsubr</td>
+ <td class="snnn top water">
+ <br />
+ </td>
+ <td class="ssnn top water">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="snns top capitalize italic green">static typing</td>
+ <td class="snns top italic green">parameters</td>
+ <td class="snns top green">sh</td>
+ <td class="snnn top green">sd</td>
+ <td class="snnn top green">
+ <br />
+ </td>
+ <td class="ssnn top green">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic green">
+ <br />
+ </td>
+ <td class="snns top italic green">restricted ref. for atomic arity assignment</td>
+ <td class="snns top green">lsuba ( ? ⊢ ? ⫃⁝ ? )</td>
+ <td class="snnn top green">lsuba_drops lsuba_lsubr lsuba_aaa lsuba_lsuba</td>
+ <td class="snnn top green">
+ <br />
+ </td>
+ <td class="ssnn top green">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic green">
+ <br />
+ </td>
+ <td class="snns top italic green">atomic arity assignment</td>
+ <td class="snns top green">aaa ( ⦃?,?⦄ ⊢ ? ⁝ ? )</td>
+ <td class="snnn top green">aaa_drops aaa_fqus aaa_lfeq aaa_aaa</td>
+ <td class="snnn top green">
+ <br />
+ </td>
+ <td class="ssnn top green">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic green">
+ <br />
+ </td>
+ <td class="snns top italic green">equivalence for closures on referred entries</td>
+ <td class="snns top green">ffeq ( ⦃?,?,?⦄ ≡ ⦃?,?,?⦄ )</td>
+ <td class="snnn top green">ffeq_freq</td>
+ <td class="snnn top green">
+ <br />
+ </td>
+ <td class="ssnn top green">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic green">
+ <br />
+ </td>
+ <td class="snns top italic green">equivalence for local environments on referred entries</td>
+ <td class="snns top green">lfeq ( ? ≡[?] ? )</td>
+ <td class="snnn top green">lfeq_length lfeq_lreq lfeq_fqup lfeq_lfeq</td>
+ <td class="snnn top green">
+ <br />
+ </td>
+ <td class="ssnn top green">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic green">
+ <br />
+ </td>
+ <td class="snns top italic green">generic extension on referred entries</td>
+ <td class="snns top green">lfxs ( ? ⦻*[?,?] ? )</td>
+ <td class="snnn top green">lfxs_length lfxs_drops lfxs_fqup lfxs_lfxs</td>
+ <td class="snnn top green">
+ <br />
+ </td>
+ <td class="ssnn top green">