+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic orange">
+ <br />
+ </td>
+ <td class="snns top italic orange">contxt-sensitive ordinary rt-substitution</td>
+ <td class="snns top orange">cpy ( ⦃?,?⦄ ⊢ ? ▶[?,?] ? )</td>
+ <td class="snnn top orange">cpy_lift cpy_nlift cpy_cpy</td>
+ <td class="snnn top orange">
+ <br />
+ </td>
+ <td class="ssnn top orange">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic orange">
+ <br />
+ </td>
+ <td class="snns top italic orange">local env. ref. for rt-substitution</td>
+ <td class="snns top orange">lsuby ( ? ⊆[?,?] ? )</td>
+ <td class="snnn top orange">lsuby_lsuby</td>
+ <td class="snnn top orange">
+ <br />
+ </td>
+ <td class="ssnn top orange">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic orange">
+ <br />
+ </td>
+ <td class="snns top italic orange">pointwise extension of a relation</td>
+ <td class="snns top orange">lpx_sn</td>
+ <td class="snnn top orange">lpx_sn_alt lpx_sn_tc lpx_sn_drop lpx_sn_lpx_sn</td>
+ <td class="snnn top orange">
+ <br />
+ </td>
+ <td class="ssnn top orange">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic orange">
+ <br />
+ </td>
+ <td class="snns top italic orange">basic local env. slicing</td>
+ <td class="snns top orange">drop ( ⬇[?,?,?] ? ≡ ? )</td>
+ <td class="snnn top orange">drop_append drop_lreq drop_drop</td>
+ <td class="snnn top orange">
+ <br />
+ </td>
+ <td class="ssnn top orange">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic orange">
+ <br />
+ </td>
+ <td class="snns top italic orange">basic term relocation</td>
+ <td class="snns top orange">lift_vector ( ⬆[?,?] ? ≡ ? )</td>
+ <td class="snnn top orange">lift_lift_vector</td>
+ <td class="snnn top orange">
+ <br />
+ </td>
+ <td class="ssnn top orange">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic orange">
+ <br />
+ </td>
+ <td class="nnns top italic orange">
+ <br />
+ </td>
+ <td class="snns top orange">lift ( ⬆[?,?] ? ≡ ? )</td>
+ <td class="snnn top orange">lift_neq lift_lift</td>
+ <td class="snnn top orange">
+ <br />
+ </td>
+ <td class="ssnn top orange">