- <td class="snns plane orange">unfold</td>
- <td class="snns file orange">lift ( ↑[?,?] ? )</td>
- <td class="ssnn file orange">subst ( [?←?] ? )</td>
- </tr>
- <tr>
- <td class="snss component red">examples</td>
- <td class="snss plane red" />
- <td class="snss file red" />
+ <td class="snss plane red">relocation</td>
+ <td class="snss file red">lift ( ↑[?,?] ? )</td>