<td class="snnn top grass">rtmap_sle ( ? ⊆ ? )</td>
<td class="snnn top grass">rtmap_sand ( ? ⋒ ? ≡ ? )</td>
<td class="snnn top grass">rtmap_sor ( ? ⋓ ? ≡ ? )</td>
<td class="snnn top grass">rtmap_sle ( ? ⊆ ? )</td>
<td class="snnn top grass">rtmap_sand ( ? ⋒ ? ≡ ? )</td>
<td class="snnn top grass">rtmap_sor ( ? ⋓ ? ≡ ? )</td>