[CL] Quantified sentences

[Cameron Ross]

Great.

To provide some context, I'm in the process of performing some rather 
pedantic testing of a CLIF parser I'm implementing.  As I run across 
corner-cases that seem "pointless" (at least to me) I'm compelled to 
clarify these cases with the list to ensure that there hasn't been an 
oversight within the CLIF grammar.  Clarifying such cases should help 
future CL tool implementers as well.

Thanks for the feedback,
Cameron.

Randall R Schulz wrote:
> On Wednesday December 2 2009, Cameron Ross wrote:
>   
>> Yes, according to the CLIF grammar it is allowed, but does it make
>> sense for this to be allowed?
>>     
>
> It's pointless, but that doesn't mean a special case should be made of 
> it. Another legal but pointless use of a quantifier is to bind a name 
> and then make no reference to it in the matrix.
>
> As far as why not disallow these things, consider the situation in which 
> you're generating CLIF programmatically rather than writing it by hand, 
> forbidding an empty binding list is just another special case to 
> accommodate in your code generator.
>
>
>   
>> Cameron.
>>     
>
>
> Randall Schulz
> _______________________________________________
> CL mailing list
> CL at philebus.tamu.edu
> http://philebus.tamu.edu/mailman/listinfo/cl
>   

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://philebus.tamu.edu/pipermail/cl/attachments/20091202/fd2bf33c/attachment-0001.html>