+ <td class="nnns component water">
+ <br />
+ </td>
+ <td class="nnns plane water">
+ <br />
+ </td>
+ <td class="snns file water">cpr ( ⦃?,?⦄ ⊢ ? ➡ ? )</td>
+ <td class="snnn file water">cpr_lift cpr_cir</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 irreducible forms</td>
+ <td class="snns file water">cir ( ⦃?,?⦄ ⊢ 𝐈⦃?⦄ )</td>
+ <td class="snnn file water">cir_append cir_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 reducible forms</td>
+ <td class="snns file water">crr ( ⦃?,?⦄ ⊢ 𝐑⦃?⦄ )</td>
+ <td class="snnn file water">crr_append crr_lift</td>
+ <td class="snnn file water">