(defclass ucoc (umlsclass)
((cui1 :value-type fixnum :initarg :cui1 :reader cui1 :print-formatter fmt-cui)
(aui1 :value-type fixnum :initarg :aui1 :reader aui1 :print-formatter fmt-aui)
(defclass ucoc (umlsclass)
((cui1 :value-type fixnum :initarg :cui1 :reader cui1 :print-formatter fmt-cui)
(aui1 :value-type fixnum :initarg :aui1 :reader aui1 :print-formatter fmt-aui)