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

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

Received on Saturday, 21 February 2009 18:33:27 UTC