+ <td class="snns file cyan">lsx ( ? ⊢ ⬊*[?,?,?,?] ? )</td>
+ <td class="snnn file cyan">lsx_alt ( ? ⊢ ⬊⬊*[?,?,?,?] ? )</td>
+ <td class="snnn file cyan">lsx_ldrop lsx_lpx lsx_lpxs llsx_csx</td>
+ <td class="ssnn file cyan">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns component cyan">
+ <br />
+ </td>
+ <td class="nnns plane cyan">
+ <br />
+ </td>
+ <td class="snns file cyan">csx_vector ( ⦃?,?⦄ ⊢ ⬊*[?,?] ? )</td>
+ <td class="snnn file cyan">csx_tstc_vector csx_aaa</td>
+ <td class="snnn file cyan">
+ <br />
+ </td>
+ <td class="ssnn file cyan">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns component cyan">
+ <br />
+ </td>
+ <td class="nnns plane cyan">
+ <br />
+ </td>
+ <td class="snns file cyan">csx ( ⦃?,?⦄ ⊢ ⬊*[?,?] ? )</td>
+ <td class="snnn file cyan">csx_alt ( ⦃?,?⦄ ⊢ ⬊⬊*[?,?] ? )</td>
+ <td class="snnn file cyan">csx_lift csx_lleq csx_lpx csx_lpxs csx_fpbs</td>
+ <td class="ssnn file cyan">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns component cyan">
+ <br />
+ </td>
+ <td class="snns plane cyan">"big tree" parallel computation</td>
+ <td class="snns file cyan">fpbg ( ⦃?,?,?⦄ >≡[?,?] ⦃?,?,?⦄ )</td>
+ <td class="snnn file cyan">fpbg_lift fpbg_fleq fpbg_fpbg</td>
+ <td class="snnn file cyan">
+ <br />
+ </td>
+ <td class="ssnn file cyan">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns component cyan">
+ <br />
+ </td>
+ <td class="nnns plane cyan">
+ <br />
+ </td>
+ <td class="snns file cyan">fpbc ( ⦃?,?,?⦄ ≻≡[?,?] ⦃?,?,?⦄ )</td>
+ <td class="snnn file cyan">fpbc_fleq fpbc_fpbs</td>
+ <td class="snnn file cyan">
+ <br />
+ </td>
+ <td class="ssnn file cyan">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns component cyan">
+ <br />
+ </td>
+ <td class="nnns plane cyan">
+ <br />
+ </td>
+ <td class="snns file cyan">fpbu ( ⦃?,?,?⦄ ≻[?,?] ⦃?,?,?⦄ )</td>
+ <td class="snnn file cyan">fpbu_lift fpbu_lleq</td>
+ <td class="snnn file cyan">fpbu_fleq</td>
+ <td class="ssnn file cyan">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns component cyan">
+ <br />
+ </td>
+ <td class="nnns plane cyan">
+ <br />
+ </td>
+ <td class="snns file cyan">fpbs ( ⦃?,?,?⦄ ≥[?,?] ⦃?,?,?⦄ )</td>
+ <td class="snnn file cyan">fpbs_alt ( ⦃?,?,?⦄ ≥≥[?,?] ⦃?,?,?⦄ )</td>
+ <td class="snnn file cyan">fpbs_lift fpbs_fleq fpbs_aaa fpbs_fpbs fpbs_ext</td>
+ <td class="ssnn file cyan">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns component cyan">
+ <br />
+ </td>
+ <td class="snns plane cyan">decomposed extended computation</td>
+ <td class="snns file cyan">cpds ( ⦃?,?⦄ ⊢ ? •*➡*[?,?] ? )</td>
+ <td class="snnn file cyan">cpds_lift cpds_aaa cpds_cpds</td>
+ <td class="snnn file cyan">
+ <br />
+ </td>
+ <td class="ssnn file cyan">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns component cyan">
+ <br />
+ </td>
+ <td class="snns plane cyan">context-sensitive extended computation</td>
+ <td class="snns file cyan">lpxs ( ⦃?,?⦄ ⊢ ➡*[?,?] ? )</td>
+ <td class="snnn file cyan">lpxs_ldrop lpxs_lleq lpxs_aaa lpxs_cpxs lpxs_lpxs</td>
+ <td class="snnn file cyan">
+ <br />
+ </td>
+ <td class="ssnn file cyan">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns component cyan">
+ <br />
+ </td>
+ <td class="nnns plane cyan">
+ <br />
+ </td>
+ <td class="snns file cyan">cpxs ( ⦃?,?⦄ ⊢ ? ➡*[?,?] ? )</td>
+ <td class="snnn file cyan">cpxs_tstc cpxs_tstc_vector cpxs_leq cpxs_lift cpxs_lleq cpxs_aaa cpxs_cpxs</td>
+ <td class="snnn file cyan">
+ <br />
+ </td>