empty symbol list for "@forsome" and "@forall"

[lup]

Some parts of this message have been removed. Learn more about Nabble's security policy.

Hi,

 

from http://www.w3.org/2000/10/swap/grammar/n3-report.html

 

universal <- "@forAll" symbol_csl

universal <- "@forAll" symbol_csl

 

symbol_csl <- symbol symbol_csl_tail
symbol_csl <- void

Gives the possibility to have "@forall ." and "@forsome ." declaration

 

But, what is the meaning of @forall and @forsome with an empty symbol list ?

 

Best regards

Luc Peuvrier

 

[Tim Berners-Lee]

On 2009-02 -21, at 10:30, luc peuvrier at home wrote:

Hi,

 

from http://www.w3.org/2000/10/swap/grammar/n3-report.html

 

universal <- "@forAll" symbol_csl

universal <- "@forAll" symbol_csl

 

symbol_csl <- symbol symbol_csl_tail
symbol_csl <- void

Gives the possibility to have "@forall ." and "@forsome ." declaration

 

But, what is the meaning of @forall and @forsome with an empty symbol list ?

It is the empty meaning. :)

Sometimes it is nice to allow such a thing particularly when generating

N3 from a script.

 

Best regards

Luc Peuvrier