- <td class="snns plane grass">parameters</td>
- <td class="snns file grass">sh</td>
- <td class="snnn file grass">sd</td>
+ <td class="snns plane grass">local env. ref. for atomic arity assignment</td>
+ <td class="snns file grass">lsuba ( ? ⊢ ? ⁝⫃ ? )</td>
+ <td class="snnn file grass">lsuba_aaa lsuba_lsuba</td>
+ <td class="snnn file grass">
+ <br />
+ </td>
+ <td class="ssnn file grass">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns component grass">
+ <br />
+ </td>
+ <td class="snns plane grass">atomic arity assignment</td>
+ <td class="snns file grass">aaa ( ⦃?,?⦄ ⊢ ? ⁝ ? )</td>
+ <td class="snnn file grass">aaa_lift aaa_lifts aaa_fqus aaa_lleq aaa_aaa</td>