- <td class="snns plane water">context-sensitive reduction</td>
- <td class="snns file water">lpr ( ? ⊢ ➡ ? )</td>
- <td class="snnn file water">lpr_ldrop lpr_cpss lpr_lpss lpr_aaa lpr_cpr lpr_lpr</td>
+ <td class="nnns plane water">
+ <br />
+ </td>
+ <td class="snns file water">fpb ( ⦃?,?,?⦄ ≽[?,?] ⦃?,?,?⦄ )</td>
+ <td class="snnn file water">fpb_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 normal forms</td>
+ <td class="snns file water">cnx ( ⦃?,?⦄ ⊢ 𝐍[?,?]⦃?⦄ )</td>
+ <td class="snnn file water">cnx_lift cnx_crx cnx_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 reduction</td>
+ <td class="snns file water">lpx ( ⦃?,?⦄ ⊢ ➡[?,?] ? )</td>
+ <td class="snnn file water">lpx_ldrop lpx_aaa</td>