font-style: italic; font-weight: bold;">L</span>.
whereas Figure 2b has functionality associated with a
type language morphism <span
 style="font-style: italic; font-weight: bold;">f</span> : <span
 style="font-weight: bold; font-style: italic;">L</span> &#8594; <span
 style="font-style: italic; font-weight: bold;">&#321;</span>. Tables 1 and
2 list a more
complete truth functionality.<br>
</p>
</div>
<p><img alt="Truth Functionality" title="Truth Functionality"
 src="functionality.gif" style="width: 621px;