UML25 — The derived property Classifier::/inheritedMember does not correctly define the meaning of inheritance

UML 2.5: “The derived property Classifier::/inheritedMember does not correctly define the meaning of inheritance”, with this email discussion attached

This issue boils down to the following key points.
1. The property inheritedMember, which is part of the calculation of the members of a Classifier, does
not include private members of generalizing Classifiers.
2. Private properties of generalizing Classifiers should be instantiable as slots in InstanceSpecifications,
even though they are not “inherited” according to 1.
3. Something of a disagreement about whether redefined properties may have slots, even though they are
excluded from inheritedMember. The resolution is to allow slots to be instantiable for private inherited properties, but still to hide redefined
properties (which is done through the operation inherit()). This is done by defining and using a new operation
for Slot constraints. Some other documentation is improved for clarity.
This also resolves 18414.