- From: Michael Kifer <kifer@cs.sunysb.edu>
- Date: Wed, 05 Sep 2007 15:56:56 -0400
- To: "Sandro Hawke" <sandro@w3.org>
- Cc: "Boley, Harold" <Harold.Boley@nrc-cnrc.gc.ca>, public-rif-wg@w3.org
(resending due to my email troubles in the morning)
Sandro Hawke wrote:
>
> If the asn is to be completely redundant, we need to add a flag in there
> that the arguments are ordered, perhaps like:
>
> Uniterm ::= op::Const "(" args::List(Uniterm*) ")"
> Uniterm ::= op::Const "(" args::List((Uniterm ("," Uniterm)*)?) ")"
>
Is it necessary to say in the syntax that the arguments are ordered or
unordered? I would think that this is a matter of the semantics (and
semantics handles this just fine right now).
--michael
Received on Wednesday, 5 September 2007 19:57:15 UTC