anchor.diff:    1)					; e.g. ("x" "y" "z") => (list "x" "y" "z")
   
   (define-sw-parser-rule :LOCAL-SORT-VARIABLE ()
  -  (1 :NON_KEYWORD_NAME)			; don't allow "="
  +  (1 :NON-KEYWORD-NAME)			; don't allow "="
     1)
   
   ;;; ------------------------------------------------------------------------
  
positive.code: ;;;   EXPRESSION
  ;;;   http://www.specware.org/manual/html/expressions.html
  ;;; ========================================================================
  
  (define-sw-parser-rule :EXPRESSION ()
    (:anyof
  
negative.code:   (:anyof "=" "is"))
  
  ;;;  NOTE: We use normally use :NAME whereever the doc says :NAME,
  ;;;        but use :NON-KEYWORD-NAME instead for :SORT-NAME and :LOCAL-VARIABLE
  (define-sw-parser-rule :NAME ()
    (:anyof
     ((:tuple "=")           "=")		; so we can use = (and "is" ?) as an op-name
  