+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic grass">
+ <br />
+ </td>
+ <td class="snns top italic grass">degree assignment</td>
+ <td class="snns top grass">da ( ⦃?,?⦄ ⊢ ? ▪[?,?] ? )</td>
+ <td class="snnn top grass">da_lift da_aaa da_da</td>
+ <td class="snnn top grass">
+ <br />
+ </td>
+ <td class="ssnn top grass">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic grass">
+ <br />
+ </td>
+ <td class="snns top italic grass">parameters</td>
+ <td class="snns top grass">sh</td>
+ <td class="snnn top grass">sd</td>
+ <td class="snnn top grass">
+ <br />
+ </td>
+ <td class="ssnn top grass">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic grass">
+ <br />
+ </td>
+ <td class="snns top italic grass">local env. ref. for atomic arity assignment</td>
+ <td class="snns top grass">lsuba ( ? ⊢ ? ⫃⁝ ? )</td>
+ <td class="snnn top grass">lsuba_aaa lsuba_lsuba</td>
+ <td class="snnn top grass">
+ <br />
+ </td>
+ <td class="ssnn top grass">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic grass">
+ <br />
+ </td>
+ <td class="snns top italic grass">atomic arity assignment</td>
+ <td class="snns top grass">aaa ( ⦃?,?⦄ ⊢ ? ⁝ ? )</td>
+ <td class="snnn top grass">aaa_lift aaa_lifts aaa_fqus aaa_lleq aaa_aaa</td>
+ <td class="snnn top grass">
+ <br />
+ </td>
+ <td class="ssnn top grass">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic grass">
+ <br />
+ </td>
+ <td class="snns top italic grass">restricted local env. ref.</td>
+ <td class="snns top grass">lsubr ( ? ⫃ ? )</td>
+ <td class="snnn top grass">lsubr_lsubr</td>
+ <td class="snnn top grass">
+ <br />
+ </td>
+ <td class="ssnn top grass">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="snns top capitalize italic yellow">multiple substitution</td>
+ <td class="snns top italic yellow">lazy equivalence</td>
+ <td class="snns top yellow">fleq ( ⦃?,?,?⦄ ≡[?] ⦃?,?,?⦄ )</td>
+ <td class="snnn top yellow">fleq_fleq</td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="ssnn top yellow">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic yellow">
+ <br />
+ </td>
+ <td class="nnns top italic yellow">
+ <br />
+ </td>
+ <td class="snns top yellow">lleq ( ? ≡[?,?] ? )</td>
+ <td class="snnn top yellow">lleq_alt lleq_alt_rec lleq_leq lleq_drop lleq_fqus lleq_llor lleq_lleq</td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="ssnn top yellow">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic yellow">
+ <br />
+ </td>
+ <td class="snns top italic yellow">lazy pointwise extension of a relation</td>
+ <td class="snns top yellow">llpx_sn</td>
+ <td class="snnn top yellow">llpx_sn_alt llpx_sn_alt_rec llpx_sn_tc llpx_sn_leq llpx_sn_drop llpx_sn_lpx_sn llpx_sn_frees llpx_sn_llor</td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="ssnn top yellow">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic yellow">
+ <br />
+ </td>
+ <td class="snns top italic yellow">pointwise union for local environments</td>
+ <td class="snns top yellow">llor ( ? ⩖[?,?] ? ≡ ? )</td>
+ <td class="snnn top yellow">llor_alt llor_drop</td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="ssnn top yellow">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic yellow">
+ <br />
+ </td>
+ <td class="snns top italic yellow">context-sensitive exclusion from free variables</td>
+ <td class="snns top yellow">frees ( ? ⊢ ? ϵ 𝐅*[?]⦃?⦄ )</td>
+ <td class="snnn top yellow">frees_append frees_leq frees_lift</td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="ssnn top yellow">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic yellow">
+ <br />
+ </td>
+ <td class="snns top italic yellow">contxt-sensitive extended multiple substitution</td>
+ <td class="snns top yellow">cpys ( ⦃?,?⦄ ⊢ ? ▶*[?,?] ? )</td>
+ <td class="snnn top yellow">cpys_alt ( ⦃?,?⦄ ⊢ ? ▶▶*[?,?] ? )</td>
+ <td class="snnn top yellow">cpys_lift cpys_cpys</td>
+ <td class="ssnn top yellow">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic yellow">
+ <br />
+ </td>
+ <td class="snns top italic yellow">iterated structural successor for closures</td>
+ <td class="snns top yellow">fqus ( ⦃?,?,?⦄ ⊐* ⦃?,?,?⦄ )</td>
+ <td class="snnn top yellow">fqus_alt fqus_fqus</td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="ssnn top yellow">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic yellow">
+ <br />
+ </td>
+ <td class="nnns top italic yellow">
+ <br />
+ </td>
+ <td class="snns top yellow">fqup ( ⦃?,?,?⦄ ⊐+ ⦃?,?,?⦄ )</td>
+ <td class="snnn top yellow">fqup_fqup</td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="ssnn top yellow">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic yellow">
+ <br />
+ </td>
+ <td class="snns top italic yellow">iterated local env. slicing</td>
+ <td class="snns top yellow">drops ( ⇩*[?,?] ? ≡ ? )</td>
+ <td class="snnn top yellow">drops_drop drops_drops</td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="ssnn top yellow">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic yellow">
+ <br />
+ </td>
+ <td class="snns top italic yellow">generic term relocation</td>
+ <td class="snns top yellow">lifts_vector ( ⇧*[?] ? ≡ ? )</td>
+ <td class="snnn top yellow">lifts_lift_vector</td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="ssnn top yellow">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic yellow">
+ <br />
+ </td>
+ <td class="nnns top italic yellow">
+ <br />
+ </td>
+ <td class="snns top yellow">lifts ( ⇧*[?] ? ≡ ? )</td>
+ <td class="snnn top yellow">lifts_lift lifts_lifts</td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="ssnn top yellow">