- <td class="snns plane blue">focalized equivalence</td>
- <td class="snns file blue">lfpcs ( ⦃?⦄ ⬌* ⦃?⦄ )</td>
- <td class="snnn file blue">lfpcs_aaa lfpcs_fpcs lfpcs_lfprs lfpcs_lfpcs</td>
- <td class="snnn file blue">
- <br />
- </td>
- <td class="snnn file blue">
- <br />
- </td>
- <td class="ssnn file blue">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns component blue">
- <br />
- </td>
- <td class="nnns plane blue">
- <br />
- </td>
- <td class="snns file blue">fpcs ( ⦃?,?⦄ ⬌* ⦃?,?⦄ )</td>
- <td class="snnn file blue">fpcs_aaa fpcs_cpcs fpcs_fprs fpcs_fpcs</td>
- <td class="snnn file blue">
- <br />
- </td>
- <td class="snnn file blue">
- <br />
- </td>
- <td class="ssnn file blue">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns component blue">
- <br />
- </td>
- <td class="snns plane blue">local env. ref. for stratified static type assignment</td>
- <td class="snns file blue">lsubss ( ? •⊑[?] ? )</td>
- <td class="snnn file blue">lsubss_ldrop lsubss_ssta lsubss_cpcs</td>
- <td class="snnn file blue">
- <br />
- </td>
+ <td class="snns plane blue">decomposed extended equivalence</td>
+ <td class="snns file blue">cpes ( ⦃?,?⦄ ⊢ ? •*⬌*[?,?] ? )</td>
+ <td class="snnn file blue">cpes_cpds</td>