[expr.ref] Add "Otherwise, " to beginning of list items.

This was requested by P2996R13, but seems to have been missed.

This edit also covers the new item added by P3293R3.

Author: tkoeppe

source/expressions.tex

@@ -4243,13 +4243,14 @@
 otherwise \tcode{E1.E2} designates the object or function to which
 the corresponding reference member of \tcode{E1} is bound.
 Otherwise, one of the following rules applies.
-
 \begin{itemize}
-\item If \tcode{E2} designates a static data member and the type of \tcode{E2}
+\item
+If \tcode{E2} designates a static data member and the type of \tcode{E2}
 is \tcode{T}, then \tcode{E1.E2} is an lvalue; the expression designates
 the named member of the class. The type of \tcode{E1.E2} is \tcode{T}.
 
-\item Otherwise, if \tcode{E2} designates a non-static data member and the type of
+\item
+Otherwise, if \tcode{E2} designates a non-static data member and the type of
 \tcode{E1} is ``\cvqual{cq1 vq1} \tcode{X}'', and the type of \tcode{E2}
 is ``\cvqual{cq2 vq2} \tcode{T}'', the expression designates the corresponding
 member subobject of the object designated by \tcode{E1}. If \tcode{E1}
@@ -4268,34 +4269,38 @@
 is not declared to be a \keyword{mutable} member,
 then the type of \tcode{E1.E2} is ``\cvqual{cq12} \cvqual{vq12} \tcode{T}''.
 
-\item If \tcode{E2} denotes an overload set,
+\item
+Otherwise, if \tcode{E2} denotes an overload set,
 the expression shall be the (possibly-parenthesized) left-hand operand of
 a member function call\iref{expr.call}, and
 function overload resolution\iref{over.match}
 is used to select the function to which \tcode{E2} refers.
 The type of \tcode{E1.E2} is the type of \tcode{E2}
 and \tcode{E1.E2} refers to the function referred to by \tcode{E2}.
-
 \begin{itemize}
-\item If \tcode{E2} refers to a static member function,
+\item
+If \tcode{E2} refers to a static member function,
 \tcode{E1.E2} is an lvalue.
-
-\item Otherwise (when \tcode{E2} refers to a non-static member function),
+\item
+Otherwise (when \tcode{E2} refers to a non-static member function),
 \tcode{E1.E2} is a prvalue.
 \begin{note}
 Any redundant set of parentheses surrounding the expression
 is ignored\iref{expr.prim.paren}.
 \end{note}
 \end{itemize}
 
-\item If \tcode{E2} designates a nested type, the expression \tcode{E1.E2} is
-ill-formed.
+\item
+Otherwise, if \tcode{E2} designates a nested type,
+the expression \tcode{E1.E2} is ill-formed.
 
-\item If \tcode{E2} designates a member enumerator and the type of \tcode{E2}
+\item
+Otherwise, if \tcode{E2} designates a member enumerator and the type of \tcode{E2}
 is \tcode{T}, the expression \tcode{E1.E2} is a prvalue of type \tcode{T}
 whose value is the value of the enumerator.
 
-\item If \tcode{E2} designates a direct base class relationship $(D, B)$
+\item
+Otherwise, if \tcode{E2} designates a direct base class relationship $(D, B)$
 and the type of \tcode{E1} is \cv{} \tcode{T},
 the expression designates the direct base class subobject of type $B$
 of the object designated by \tcode{E1}.
@@ -4329,7 +4334,8 @@
 \end{codeblock}
 \end{example}
 
-\item Otherwise, the program is ill-formed.
+\item
+Otherwise, the program is ill-formed.
 \end{itemize}
 
 \pnum