+ <td class="snnn file water">cpx_lift cpx_cix</td>
+ <td class="snnn file water">
+ <br />
+ </td>
+ <td class="ssnn file water">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns component water">
+ <br />
+ </td>
+ <td class="snns plane water">context-sensitive extended irreducible forms</td>
+ <td class="snns file water">cix ( ⦃?,?⦄ ⊢ 𝐈[?]⦃?⦄ )</td>
+ <td class="snnn file water">cix_append cix_lift</td>
+ <td class="snnn file water">
+ <br />
+ </td>
+ <td class="ssnn file water">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns component water">
+ <br />
+ </td>
+ <td class="snns plane water">context-sensitive extended reducible forms</td>
+ <td class="snns file water">crx ( ⦃?,?⦄ ⊢ 𝐑[?]⦃?⦄ )</td>
+ <td class="snnn file water">crx_append crx_lift</td>
+ <td class="snnn file water">
+ <br />
+ </td>
+ <td class="ssnn file water">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns component water">
+ <br />
+ </td>
+ <td class="snns plane water">local env. ref. for extended reduction</td>
+ <td class="snns file water">lsubx ( ? ⓝ⊑ ? )</td>
+ <td class="snnn file water">lsubx_lsubx</td>