(defkind simple)

(definstancevars simple (s 1))

(defkind complex simple)

(definstancevars complex (c 2))

(setq a (oneof simple))

(ask a (have 's 2))

(ask a (show-vals))

(setq b (kindof complex a))

(ask b (show-vals))

(ask b s)