W3C home > Mailing lists > Public > public-cwm-talk@w3.org > January to March 2009

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

From: luc peuvrier at home <lc.pvrr@orange.fr>
Date: Sat, 21 Feb 2009 19:30:05 +0100
Message-ID: <EF8D6C96CD244501B33F9E711A9DF52B@LUCIO>
To: <public-cwm-talk@w3.org>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 21 February 2009 18:33:28 GMT