Actual restriction should be normative.

chapters/annotations.tex

@@ -2058,6 +2058,9 @@ \subsection{Protection of Classes}\label{protection-of-classes}
 The \lstinline!access! annotation holds for the respective class and all classes that are hierarchically on a lower level, unless overridden by a \lstinline!Protection! annotation with \lstinline!access!.
 Overriding \lstinline!access=Access.hide! or \lstinline!access=Access.packageDuplicate! has no effect.
 
+Classes should not use other classes in ways that contradict this protection.
+For instance a class with \lstinline!Access.hide! should not be used in the diagram layer of a class with \lstinline!Access.diagram!, and there should not be hyperlinks to classes with \lstinline!Access.icon! (from classes with visible documentation).
+
 \begin{example}
 If the annotation is given on the top level of a package and at no other class in this package, then the \lstinline!access! annotation holds for all classes in this package.
 \end{example}
@@ -2071,9 +2074,6 @@ \subsection{Protection of Classes}\label{protection-of-classes}
 \item For \lstinline!Access.nonPackageText! all public and protected variables can be stored in a result file, because all variables can be inspected in the class.
 \end{itemize}
 
-Classes should not use other classes in ways that contradict this protection.
-For instance a class with \lstinline!Access.hide! should not be used in the diagram layer of a class with \lstinline!Access.diagram!, and there should not be hyperlinks to classes with \lstinline!Access.icon! (from classes with visible documentation).
-
 \begin{lstlisting}[language=modelica]
 package CommercialFluid // Access icon, documentation, diagram
   package Examples // Access icon, documentation, diagram