94; <span
 style="font-style: italic; font-weight: bold;">&#321;</span> is a special
morphism of type languages ]<br>
      </td>
    </tr>
    <tr>
      <td style="vertical-align: top;"><span style="font-family: arial;">instance</span>(<span
 style="font-style: italic; font-weight: bold;">f</span>)&nbsp; = <span
 style="font-family: arial;">mod</span>(<span
 style="font-style: italic; font-weight: bold;">f</span>) : <span
 style="font-family: arial;">model</span>(<span
 style="font-style: italic; font-wei