anchor.diff:    (MetaSlang::mkQualifiedId-2 1 2))
   
   (define-sw-parser-rule :OP-NAME ()
  -  (1 :NAME)
  -  1)
  +  :NAME)
   
   ;;; ------------------------------------------------------------------------
   ;;;  QUALIFIABLE-CLAIM-NAME 
  
positive.code:   (MetaSlang::mkQualifiedId-2 1 2))
  
  (define-sw-parser-rule :QUALIFIER ()
    (1 :NAME)
    1)
  
  ;;;  NOTE: We use normally use :NAME whereever the doc says :NAME,
  ;;;        but use :SYMBOL-NAME instead for :SORT-NAME and :LOCAL-VARIABLE
  
negative.code:   1)					; e.g. ("x" "y" "z") => (list "x" "y" "z")
  
  (define-sw-parser-rule :LOCAL-SORT-VARIABLE ()
    :SYMBOL-NAME)			; don't allow "="
  
  ;;; ------------------------------------------------------------------------
  ;;;  SORT-DEFINITION
  