Merge pull request modelica#2703 from phannebohm/phannebohm-patch-1

Paraphrase complicated negated sentence

chapters/overloaded.tex

@@ -97,12 +97,12 @@ \section{Overloaded Constructors}\label{overloaded-constructors}
 \item
   The operator \lstinline!C.'constructor'! shall only contain functions that declare one output component, which shall be of the operator record class \lstinline!C!.
 \item
-  For an operator recordclass there shall not exist any potential call that lead to multiple matches in \cref{overloaded-constructor-unique} above.
+  For an operator record class there shall not exist any potential call that lead to multiple matches in \cref{overloaded-constructor-unique} above.
   \begin{nonnormative}
   How to verify this is not specified.
   \end{nonnormative}
 \item
-  For a pair of operator record classes \lstinline!C! and \lstinline!D! and components \lstinline!c! and \lstinline!d! of these classes both of \lstinline!C.'constructor'(d)! and \lstinline!D.'constructor'(c)! shall not both be legal.
+  For a pair of operator record classes \lstinline!C! and \lstinline!D! and components \lstinline!c! and \lstinline!d! of these classes, respectively, at most one of \lstinline!C.'constructor'(d)! and \lstinline!D.'constructor'(c)! shall be legal.
   \begin{nonnormative}
    Hence, one of the two definitions must be removed.
   \end{nonnormative}