Definition of the defsubtype macro.
Macro:
(defmacro defsubtype (subtype &key supertype restriction fix-value pred fix equiv parents short long) (cons 'make-event (cons (cons 'defsubtype-fn (cons (cons 'quote (cons subtype 'nil)) (cons (cons 'quote (cons supertype 'nil)) (cons (cons 'quote (cons restriction 'nil)) (cons (cons 'quote (cons fix-value 'nil)) (cons (cons 'quote (cons pred 'nil)) (cons (cons 'quote (cons fix 'nil)) (cons (cons 'quote (cons equiv 'nil)) (cons (cons 'quote (cons parents 'nil)) (cons short (cons long '((w state))))))))))))) 'nil)))