I was supposed to send around a formulation for the issue about the
disjointness of predicates/functions/constants. Here is goes:
Issue: Should the names for predicates, functions, and constants be
distinct in RIF Core? This constraint will be allowed to be removed
in RIF dialects.
--michael