(defclass POSESION (is-a USER)

(role concrete)
(pattern-match reactive)
(slot localizacion
(type STRING)
(create-accessor read-write))
(slot valor (type NUMBER)
(create-accessor read-write))

(defclass COCHE (is-a USER)

(slot color
(type STRING)
(create-accessor read-write))
(slot velocidad-maxima
(type NUMBER)
(create-accessor read-write)))

(defclass UTILITARIO (is-a POSESION COCHE)

(slot no-licencia (type SYMBOL) (create-accessor read-write)))