- <td class="snns plane cyan">support for abstract computation properties</td>
- <td class="snns file cyan">acp</td>
- <td class="snnn file cyan">acp_cr ( ⦃?,?,?⦄ ϵ[?] 〚?〛 )</td>
- <td class="snnn file cyan">acp_aaa</td>
- <td class="ssnn file cyan">
+ </tr>
+ <tr>
+ <td class="snns top capitalize italic water">reduction</td>
+ <td class="snns top italic water">parallel qrst-reduction</td>
+ <td class="snns top water">fpbq ( ⦃?,?,?⦄ ≽[?,?] ⦃?,?,?⦄ )</td>
+ <td class="snnn top water">fpbq_alt ( ⦃?,?,?⦄ ≽≽[?,?] ⦃?,?,?⦄ )</td>
+ <td class="snnn top water">fpbq_lift fpbq_aaa</td>
+ <td class="ssnn top water">