+ <td class="snns top italic green">generic reducibility</td>
+ <td class="snns top green">lsubc ( ? ⊢ ? ⫃[?] ? )</td>
+ <td class="ssnn top green">lsubc_drop lsubc_drops lsubc_lsubr lsubc_lsuba</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic green">
+ <br />
+ </td>
+ <td class="nnns top italic green">
+ <br />
+ </td>
+ <td class="snns top green">gcp_cr ( ⦃?,?,?⦄ ϵ[?] 〚?〛 )</td>
+ <td class="ssnn top green">gcp_aaa</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic green">
+ <br />
+ </td>
+ <td class="nnns top italic green">
+ <br />
+ </td>
+ <td class="snns top green">gcp</td>
+ <td class="ssnn top green">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic green">
+ <br />
+ </td>
+ <td class="snns top italic green">atomic arity assignment</td>