[stmt.ambig] Don't start a several-paragraph note in the middle of a paragraph;

that makes it hard to notice that the second paragraph is not normative. Fix
the note to avoid suggesting that unambiguous cases need disambiguation.

Author: zygoloid

source/statements.tex

@@ -853,17 +853,23 @@
 
 \pnum
 There is an ambiguity in the grammar involving
-\grammarterm{expression-statement}{s} and \grammarterm{}{declaration}{s}: An
+\grammarterm{expression-statement}{s} and \grammarterm{declaration}{s}: An
 \grammarterm{expression-statement} with a function-style explicit type
 conversion~(\ref{expr.type.conv}) as its leftmost subexpression can be
-indistinguishable from a \grammarterm{}{declaration} where the first
-\grammarterm{}{declarator} starts with a \tcode{(}. In those cases the
-\grammarterm{}{statement} is a \grammarterm{}{declaration}. \enternote To
-disambiguate, the whole \grammarterm{}{statement} might have to be examined
-to determine if it is an \grammarterm{expression-statement} or a
-\grammarterm{}{declaration}. This disambiguates many examples.
+indistinguishable from a \grammarterm{declaration} where the first
+\grammarterm{declarator} starts with a \tcode{(}. In those cases the
+\grammarterm{statement} is a \grammarterm{declaration}.
+
+\pnum
+\enternote
+If the \grammarterm{statement} cannot syntactically be a
+\grammarterm{declaration}, there is no ambiguity,
+so this rule does not apply.
+The whole \grammarterm{statement} might need to be examined
+to determine whether this is the case. This resolves the meaning
+of many examples.
 \enterexample
-assuming \tcode{T} is a
+Assuming \tcode{T} is a
 \grammarterm{simple-type-specifier}~(\ref{dcl.type}),
 
 \begin{codeblock}
@@ -882,8 +888,7 @@
 semantic reasons, but that does not affect the syntactic analysis.
 \exitexample
 
-\pnum
-The remaining cases are \grammarterm{}{declaration}{s}.
+The remaining cases are \grammarterm{declaration}{s}.
 \enterexample
 
 \begin{codeblock}