+ <td class="nnns top capitalize italic cyan">
+ <br />
+ </td>
+ <td class="nnns top capitalize italic cyan">
+ <br />
+ </td>
+ <td class="snns top italic cyan">for binders</td>
+ <td class="snns top cyan">cpx_ext ( ⦃?,?⦄ ⊢ ? ⬈[?] ? )</td>
+ <td class="ssnn top cyan">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic cyan">
+ <br />
+ </td>
+ <td class="nnns top capitalize italic cyan">
+ <br />
+ </td>
+ <td class="snns top italic cyan">for terms</td>
+ <td class="snns top cyan">cpx ( ⦃?,?⦄ ⊢ ? ⬈[?] ? )</td>
+ <td class="ssnn top cyan">cpx_simple cpx_drops cpx_fqus cpx_lsubr cpx_lfxs cpx_lfeq</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic cyan">
+ <br />
+ </td>
+ <td class="snns top capitalize italic cyan">counted context-sensitive parallel rt-transition</td>
+ <td class="snns top italic cyan">for terms</td>
+ <td class="snns top cyan">cpg ( ⦃?,?⦄ ⊢ ? ⬈[?,?] ? )</td>
+ <td class="ssnn top cyan">cpg_simple cpg_drops cpg_lsubr</td>
+ </tr>
+ <tr>
+ <td class="snns top capitalize italic water">iterated static typing</td>
+ <td class="snns top capitalize italic water">iterated generic extension of a context-sensitive relation</td>
+ <td class="snns top italic water">for lenvs on referred entries</td>
+ <td class="snns top water">tc_lfxs ( ? ⦻**[?,?] ? )</td>
+ <td class="ssnn top water">tc_lfxs_length tc_lfxs_lex tc_lfxs_drops tc_lfxs_fqup tc_lfxs_tc_lfxs</td>
+ </tr>
+ <tr>
+ <td class="snns top capitalize italic green">static typing</td>
+ <td class="snns top capitalize italic green">generic reducibility</td>
+ <td class="snns top italic green">restricted refinement for lenvs</td>
+ <td class="snns top green">lsubc ( ? ⊢ ? ⫃[?] ? )</td>
+ <td class="ssnn top green">lsubc_drops lsubc_lsubr lsubc_lsuba</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic green">
+ <br />
+ </td>
+ <td class="nnns top capitalize italic green">
+ <br />
+ </td>
+ <td class="snns top italic green">candidates</td>
+ <td class="snns top green">gcp_cr ( ⦃?,?,?⦄ ϵ[?] 〚?〛 )</td>
+ <td class="ssnn top green">gcp_aaa</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic green">
+ <br />
+ </td>
+ <td class="nnns top capitalize italic green">
+ <br />
+ </td>
+ <td class="snns top italic green">computation properties</td>
+ <td class="snns top green">gcp</td>
+ <td class="ssnn top green">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic green">
+ <br />
+ </td>
+ <td class="snns top capitalize italic green">atomic arity assignment</td>
+ <td class="snns top italic green">restricted refinement for lenvs</td>
+ <td class="snns top green">lsuba ( ? ⊢ ? ⫃⁝ ? )</td>
+ <td class="ssnn top green">lsuba_drops lsuba_lsubr lsuba_aaa lsuba_lsuba</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic green">
+ <br />
+ </td>
+ <td class="nnns top capitalize italic green">
+ <br />
+ </td>
+ <td class="snns top italic green">for terms</td>
+ <td class="snns top green">aaa ( ⦃?,?⦄ ⊢ ? ⁝ ? )</td>
+ <td class="ssnn top green">aaa_drops aaa_fqus aaa_lfdeq aaa_aaa</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic green">
+ <br />
+ </td>
+ <td class="snns top capitalize italic green">degree-based equivalence</td>
+ <td class="snns top italic green">for closures on referred entries</td>
+ <td class="snns top green">ffdeq ( ⦃?,?,?⦄ ≛[?,?] ⦃?,?,?⦄ )</td>
+ <td class="ssnn top green">ffdeq_fqup ffdeq_ffdeq</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic green">
+ <br />
+ </td>
+ <td class="nnns top capitalize italic green">
+ <br />
+ </td>
+ <td class="snns top italic green">for lenvs on referred entries</td>
+ <td class="snns top green">lfdeq ( ? ≛[?,?,?] ? )</td>
+ <td class="ssnn top green">lfdeq_length lfdeq_drops lfdeq_fqup lfdeq_fqus lfdeq_lfdeq</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic green">
+ <br />
+ </td>
+ <td class="snns top capitalize italic green">syntactic equivalence</td>
+ <td class="snns top italic green">for lenvs on referred entries</td>
+ <td class="snns top green">lfeq ( ? ≡[?] ? )</td>
+ <td class="ssnn top green">lfeq_fqup lfeq_lfeq</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic green">
+ <br />
+ </td>
+ <td class="snns top capitalize italic green">generic extension of a context-sensitive relation</td>
+ <td class="snns top italic green">for lenvs on referred entries</td>
+ <td class="snns top green">lfxs ( ? ⦻*[?,?] ? )</td>
+ <td class="ssnn top green">lfxs_length lfxs_drops lfxs_fqup lfxs_lfxs</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic green">
+ <br />
+ </td>
+ <td class="snns top capitalize italic green">context-sensitive free variables</td>
+ <td class="snns top italic green">restricted refinement for lenvs</td>
+ <td class="snns top green">lsubf ( ⦃?,?⦄ ⫃𝐅* ⦃?,?⦄ )</td>
+ <td class="ssnn top green">lsubf_lsubr lsubf_frees lsubf_lsubf</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic green">
+ <br />
+ </td>
+ <td class="nnns top capitalize italic green">
+ <br />
+ </td>
+ <td class="snns top italic green">for terms</td>
+ <td class="snns top green">frees ( ? ⊢ 𝐅*⦃?⦄ ≡ ? )</td>
+ <td class="ssnn top green">frees_drops frees_fqup frees_frees</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic green">