
(/VERSIONCHECK 2) 

(DEFUN |EVALAB-;eval;SES;1| (|f| |eq| $)
  (SPADCALL |f| (LIST |eq|) (QREFELT $ 9))) 

(DEFUN |EVALAB-;eval;S2LS;2| (|f| |xs| |vs| $)
  (PROG (#0=#:G1821 |v| #1=#:G1823 |x| #2=#:G1822)
    (RETURN
      (SEQ (SPADCALL |f|
               (PROGN
                 (LETT #0# NIL . #3=(|EVALAB-;eval;S2LS;2|))
                 (SEQ (LETT |v| NIL . #3#) (LETT #1# |vs| . #3#)
                      (LETT |x| NIL . #3#) (LETT #2# |xs| . #3#) G190
                      (COND
                        ((OR (ATOM #2#)
                             (PROGN (LETT |x| (CAR #2#) . #3#) NIL)
                             (ATOM #1#)
                             (PROGN (LETT |v| (CAR #1#) . #3#) NIL))
                         (GO G191)))
                      (SEQ (EXIT (LETT #0#
                                       (CONS
                                        (SPADCALL |x| |v|
                                         (QREFELT $ 12))
                                        #0#) . #3#)))
                      (LETT #2#
                            (PROG1 (CDR #2#)
                              (LETT #1# (CDR #1#) . #3#)) . #3#)
                      (GO G190) G191 (EXIT (NREVERSE0 #0#))))
               (QREFELT $ 9)))))) 

(DEFUN |Evalable&| (|#1| |#2|)
  (PROG (DV$1 DV$2 |dv$| $ |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|) . #0=(|Evalable&|))
        (LETT DV$2 (|devaluate| |#2|) . #0#)
        (LETT |dv$| (LIST '|Evalable&| DV$1 DV$2) . #0#)
        (LETT $ (GETREFV 15) . #0#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#))
        (|stuffDomainSlots| $)
        (QSETREFV $ 6 |#1|)
        (QSETREFV $ 7 |#2|)
        $)))) 

(MAKEPROP '|Evalable&| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
             (|List| 10) (0 . |eval|) (|Equation| 7)
             |EVALAB-;eval;SES;1| (6 . =) (|List| 7)
             |EVALAB-;eval;S2LS;2|)
          '#(|eval| 12) 'NIL
          (CONS (|makeByteWordVec2| 1 'NIL)
                (CONS '#()
                      (CONS '#()
                            (|makeByteWordVec2| 14
                                '(2 6 0 0 8 9 2 10 0 7 7 12 2 0 0 0 10
                                  11 3 0 0 0 13 13 14)))))
          '|lookupComplete|)) 
