anonical logic intent infomorphism from the free
logic over the component theory of the logic to the logic itself. The
intent infomorphism is the identity on types, maps entity instances to
their entity extents, and maps relation instances (tuples) to their
relation extents consisting of all relation types (with possibly
smaller arities) that classify that tuple. The free logic over a theory
has the following meaning. Any theory morphism from a theory to the
component theory of a logic, is naturally equival