Text from decision. (#2711)

* Text from decision.
Closes #2693

chapters/inheritance.tex

@@ -1059,11 +1059,13 @@ \subsection{Annotation Choices for Suggested Redeclarations and Modifications}\l
 contain the definition \lstinline!checkBox = true!, meaning to display a checkbox to
 input the values \lstinline!false! or \lstinline!true! in the graphical user interface.
 
-Choices menus of replaceable elements can be automatically constructed
-showing the names of all classes that are either directly or indirectly
-derived by inheritance from the constraining class of the declaration.
-This can be recommended by having \lstinline!annotation choicesAllMatching = true!; and disabled by having
-\lstinline!annotation choicesAllMatching = false!.
+The annotation \lstinline!choicesAllMatching = true! on a replaceable element indicates that tools
+should automatically construct a menu with choices of elements usable for replacing it.
+Exact criteria for inclusion in such a menu are not defined,
+but there shall be a a way to at least get a selection of classes, \lstinline!A.B.$\ldots$.X.Z!,
+that are either directly or indirectly derived by inheritance from the constraining class of the declaration,
+where \lstinline!A! to \lstinline!X! are non-partial packages, and \lstinline!Z! is non-partial.
+This menu can be disabled using annotation \lstinline!choicesAllMatching = false!.
 \begin{nonnormative}
 The behavior when choicesAllMatching is not specified;
 ideally it should present (at least) the same choices as for