I\'m using this Protege exported code on the first code block.
(defclass systemEntity (is-a USER) (role abstract) (single-slot suspect (type S