BACM — Meaning of "generalization" of instances

Likewise “The user may also indicate that one instance generalizes another, but the implementation is not obligated to determine that the instance model is consistent.“ - what does generalization even mean between instances and won’t it depend on the metaclass? E.g. what would it mean to be a generalization of LegalEntity IBM Corp?

Rewrite and consolidate prose description of instancing

This proposal is mostly resolved by the proposal attached to BACM_44 (to resolve issue BACM-43) and a proposal (BACM-67) to resolve issue BACM-45.
The remaining part of this issue, that the BACM metamodel does not have a distinct domain of individuals (viz. the domain of classes and object properties as distinct from the domain of individuals and assertions) is unresolved. This proposal creates a separate issue (BACM-68) with a proposal to defer.