; superclass relation is transitive.
(define-path superclass (compose superclass (kstar (compose subclass- superclass))))