Returns a clojure.core.logic.pldb database populated with facts from (sub/rels).

Returns all edges in the sub-rel relation.

Find the bottom types in the direct sub-rel hierarchy.

Returns a list of all edges to bottom types.

Return a list of types that occur more than once on the rhs
of a direct sub-rel rule.

Find the top types in the direct sub-rel hierarchy.

Returns a list of all edges to top types.

Given a map of rels from (sub/rels), returns a clojure.core.logic.pldb
database populated with facts from rels.