anchor.diff:    (make-application 1 2 ':left-lcb ':right-lcb) ; see notes above
     :documentation "Application")
   
  +(define-sw-parser-rule :APPLICATION-NOT-STARTING-WITH-BRACKET  ()
  +  (:tuple (1 :CLOSED-EXPRESSION-NOT-STARTING-WITH-BRACKET) (2 :CLOSED-EXPRESSIONS)) ;  (:optional (:tuple ":" (3 :SORT)))
  +  (make-application 1 2 ':left-lcb ':right-lcb) ; see notes above
  +  :documentation "Application")
  +
  +
  +
   (define-sw-parser-rule :CLOSED-EXPRESSIONS ()
     (:repeat+ :CLOSED-EXPRESSION))
   
  
positive.code:   (format nil "~D" 1))
  
  (define-sw-parser-rule :CLAIM ()
    (:tuple (:optional (1 :SORT-QUANTIFICATION)) (2 :EXPRESSION))
    (cons 1 2))
  
  (define-sw-parser-rule :SORT-QUANTIFICATION ()
  
negative.code:    )
    1)
  
  (define-sw-parser-rule :EXPRESSION-NOT-STARTING-WITH-BRACKET ()
    (:anyof
     (1 :LAMBDA-FORM          :documentation "Function definition")
     (1 :CASE-EXPRESSION      :documentation "Case")
     (1 :LET-EXPRESSION       :documentation "Let")
     (1 :IF-EXPRESSION        :documentation "If-then-else")
     (1 :QUANTIFICATION       :documentation "Quantification (fa/ex)")
     (1 :ANNOTATED-EXPRESSION :documentation "Annotated (i.e. typed) expression")
     (1 :TIGHT-EXPRESSION-NOT-STARTING-WITH-BRACKET :documentation "Tight expression -- suitable for annotation -- not starting with '['")
     )
    1)
  
  (define-sw-parser-rule :NON-BRANCH-EXPRESSION ()
    (:anyof
     (1 :NON-BRANCH-LET-EXPRESSION  :documentation "Let not ending in case or lambda")
  