[CL] Quantified sentences
cross at kojeware.com
Wed Dec 2 09:15:44 CST 2009
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,
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.
> Randall Schulz
> CL mailing list
> CL at philebus.tamu.edu
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the CL