CWG2911 Unclear meaning of expressions "appearing within" subexpressions

Author: burblebee

source/expressions.tex

@@ -434,7 +434,8 @@
 \pnum
 \label{term.unevaluated.operand}%
 In some contexts, \defnx{unevaluated operands}{unevaluated operand}
-appear\iref{expr.prim.req,
+appear\iref{expr.prim.req.simple,
+expr.prim.req.compound,
 expr.typeid,
 expr.sizeof,
 expr.unary.noexcept,
@@ -2906,8 +2907,6 @@
 \pnum
 A \grammarterm{requires-expression} is a prvalue of type \tcode{bool}
 whose value is described below.
-Expressions appearing within a \grammarterm{requirement-body}
-are unevaluated operands\iref{term.unevaluated.operand}.
 
 \pnum
 \begin{example}
@@ -2999,10 +2998,10 @@
 \pnum
 A \grammarterm{simple-requirement} asserts
 the validity of an \grammarterm{expression}.
+The \grammarterm{expression} is an unevaluated operand.
 \begin{note}
 The enclosing \grammarterm{requires-expression} will evaluate to \keyword{false}
 if substitution of template arguments into the \grammarterm{expression} fails.
-The \grammarterm{expression} is an unevaluated operand\iref{term.unevaluated.operand}.
 \end{note}
 \begin{example}
 \begin{codeblock}
@@ -3070,7 +3069,9 @@
 
 \pnum
 A \grammarterm{compound-requirement} asserts properties
-of the \grammarterm{expression} $E$. Substitution
+of the \grammarterm{expression} $E$.
+The \grammarterm{expression} is an unevaluated operand.
+Substitution
 of template arguments (if any) and verification of
 semantic properties proceed in the following order: