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 PeuvrierReceived 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