- <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 context-sensitive equivalence</td>
- <td class="snns file blue">lsubse ( ? ⊢•⊑[?] ? )</td>
- <td class="snnn file blue">lsubse_ldrop lsubse_ssta lsubse_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>