+ <td class="snns top capitalize italic sky">uncounted context-sensitive parallel rt-computation</td>
+ <td class="snns top italic sky">refinement for lenvs</td>
+ <td class="snns top sky">lsubsx ( ? ⊢ ? ⊆ⓧ[?,?,?] ? )</td>
+ <td class="ssnn top sky">lsubsx_lfsx lsubsx_lsubsx</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic sky">
+ <br />
+ </td>
+ <td class="nnns top capitalize italic sky">
+ <br />
+ </td>
+ <td class="snns top italic sky">strongly normalizing for lenvs on referred entries</td>