- <td class="snns top capitalize italic red">functional</td>
- <td class="snns top italic red">reduction and type machine</td>
- <td class="snns top red">rtm</td>
- <td class="ssnn top red">rtm_step ( ? ⇨ ? )</td>
- </tr>
- <tr>
- <td class="nnss top capitalize italic red">
- <br />
- </td>
- <td class="snss top italic red">relocation</td>
- <td class="snss top red">lift ( ↑[?,?] ? )</td>
- <td class="sssn top red">
- <br />
- </td>
+ <td class="snss top capitalize italic red">examples</td>
+ <td class="snss top italic red">terms with special features</td>
+ <td class="ssss top red">ex_cpr_omega</td>