((/nonstd/workshops/1999/calculus/book/standard-part-preserves-between.lisp::between (nil nil nil nil (if) nil nil) (nil nil nil (< and and) nil nil nil) ((a b) nil nil (<= <= <= <=) nil nil nil) ((a x x b b x x a) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))