Questions and Remarks

PICS Label Syntax Specification

• redundency: in "Detail Syntax" section it seems to me that Rule 3 is redundent here, because you can always reduce it to rule 1 and 2.

  1.  service-info :: serviceID options* labelword label*
  2.  label :: single-label 
  3.  label :: '(' single-label* ')'
  
  

• Typo in an example: the example in section "Semantics of PICS Labels and Label Lists" was:

    ("error (no-ratings ...)") 

  I believe it should be:

    (PICS-1.1 error (no-ratings "..." "...")) 

     service-info :: 'error' '(no-ratings' explanation* ')'
  

  it seems a valid statement would be

     error (no-ratings "..." "...")

  But the example in section seems misleading:
• minor typos in "Detail Syntax":

  label-error :: 'error' '(' request-denied' ... <- missing '
  label-error :: 'error' '(' not-labeled' ...    <- missing '