
(/VERSIONCHECK 2) 

(DEFPARAMETER |SExpressionCategory;CAT| 'NIL) 

(DEFPARAMETER |SExpressionCategory;AL| 'NIL) 

(DEFUN |SExpressionCategory| (&REST #0=#:G1817)
  (LET (#1=#:G1818)
    (COND
      ((SETQ #1#
             (|assoc| #2=(|devaluateList| #0#)
                      |SExpressionCategory;AL|))
       (CDR #1#))
      (T (SETQ |SExpressionCategory;AL|
               (|cons5| (CONS #2#
                              (SETQ #1#
                                    (APPLY #'|SExpressionCategory;|
                                     #0#)))
                        |SExpressionCategory;AL|))
         #1#)))) 

(DEFUN |SExpressionCategory;| (|t#1| |t#2| |t#3| |t#4| |t#5|)
  (PROG (#0=#:G1816)
    (RETURN
      (PROG1 (LETT #0#
                   (|sublisV|
                       (PAIR '(|t#1| |t#2| |t#3| |t#4| |t#5|)
                             (LIST (|devaluate| |t#1|)
                                   (|devaluate| |t#2|)
                                   (|devaluate| |t#3|)
                                   (|devaluate| |t#4|)
                                   (|devaluate| |t#5|)))
                       (COND
                         (|SExpressionCategory;CAT|)
                         ('T
                          (LETT |SExpressionCategory;CAT|
                                (|Join| (|SetCategory|)
                                        (|mkCategory| '|domain|
                                         '(((|eq| ((|Boolean|) $ $)) T)
                                           ((|null?| ((|Boolean|) $))
                                            T)
                                           ((|atom?| ((|Boolean|) $))
                                            T)
                                           ((|pair?| ((|Boolean|) $))
                                            T)
                                           ((|list?| ((|Boolean|) $))
                                            T)
                                           ((|string?| ((|Boolean|) $))
                                            T)
                                           ((|symbol?| ((|Boolean|) $))
                                            T)
                                           ((|integer?|
                                             ((|Boolean|) $))
                                            T)
                                           ((|float?| ((|Boolean|) $))
                                            T)
                                           ((|destruct| ((|List| $) $))
                                            T)
                                           ((|string| (|t#1| $)) T)
                                           ((|symbol| (|t#2| $)) T)
                                           ((|integer| (|t#3| $)) T)
                                           ((|float| (|t#4| $)) T)
                                           ((|expr| (|t#5| $)) T)
                                           ((|convert| ($ (|List| $)))
                                            T)
                                           ((|convert| ($ |t#1|)) T)
                                           ((|convert| ($ |t#2|)) T)
                                           ((|convert| ($ |t#3|)) T)
                                           ((|convert| ($ |t#4|)) T)
                                           ((|convert| ($ |t#5|)) T)
                                           ((|car| ($ $)) T)
                                           ((|cdr| ($ $)) T)
                                           ((|#| ((|Integer|) $)) T)
                                           ((|elt| ($ $ (|Integer|)))
                                            T)
                                           ((|elt|
                                             ($ $ (|List| (|Integer|))))
                                            T))
                                         NIL
                                         '((|List| (|Integer|))
                                           (|Integer|) (|List| $)
                                           (|Boolean|))
                                         NIL))
                                . #1=(|SExpressionCategory|))))) . #1#)
        (SETELT #0# 0
                (LIST '|SExpressionCategory| (|devaluate| |t#1|)
                      (|devaluate| |t#2|) (|devaluate| |t#3|)
                      (|devaluate| |t#4|) (|devaluate| |t#5|))))))) 
