[CL] Representing untyped concepts in CG Display Form

[sowa at bestweb.net]

Michael,
Yes, that's true.

> However, in the
"Bus42" example below, I believe that the leading ":"
is
> still required, since it would otherwise be unclear whether
"Bus42" in
> 
>    [Bus42]
> 
>
stands for either a type label or for an individual (without a specific
> type). Is this correct?
 
Without ":", the
default assumption would be that Bus42 is the name of a type (i.e., a
monadic relation used to restrict the range of
quantification).
John
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://philebus.tamu.edu/pipermail/cl/attachments/20110724/248878b0/attachment.html>