(defclass animal ()       ())
(defclass dog    (animal) ())
(defclass lab    (dog)    ())
(defclass collie (dog)    ())
(defclass cat    (animal) ())