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

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
>