KIF: Format for comments and revisions

[Adam Pease]

Michael,
   A few more points

1.  To my comment "The grammar should not allow empty statements of the 
form (and), (or)" I would add that I'd like not to have empty quantifiers 
too - that forall and exists take a non-empty list of variables and a 
non-empty logical expression.

2.  I'm still uncomfortable with row variables although Chris has 
graciously offered considerable explanation to help my understand why they 
are a good thing.  I don't know if there's an appropriate way for me to 
register my discomfort while at the same time stating that since I 
acknowledge that I haven't done my homework on this topic, that I won't 
oppose it's inclusion unless others do.

3.  I'm still opposed to a quote operator in the syntax and I'd prefer that 
the core be sorted (although, like CycL, without a syntactic features for 
sorts).

Thanks for pulling this together.
Adam


At 11:45 AM 7/6/2001 -0400, Michael Gruninger wrote:
>Hello everyone,
>I have attached a list of comments on the Part 1 draft from June 26.
>These comments were extracted from email messages since that date.
>The format is based on that used by ISO for commenting on drafts that
>are sent out for balloting.
>
>Please send me corrections if:
>- I have misrepresented your comment
>- I have forgotten to include your comment
>
>The Part 1 document will be complete when we have agreement
>on all comments in this list, so if you have any comments that are
>not included, make sure that you send them in now.
>
>
>- michael