<td class="snns top capitalize italic sky">rt-computation</td>
<td class="snns top italic sky">uncounted context-sensitive rt-computation</td>
<td class="snns top sky">lfsx ( ? ⊢ ⬈*[?,?,?] 𝐒⦃?⦄ )</td>
<td class="snns top capitalize italic sky">rt-computation</td>
<td class="snns top italic sky">uncounted context-sensitive rt-computation</td>
<td class="snns top sky">lfsx ( ? ⊢ ⬈*[?,?,?] 𝐒⦃?⦄ )</td>