[basic.def.odr] Rephrase build level and continuation mode requirements

Author: jensmaurer

source/basic.tex

@@ -553,14 +553,14 @@
 requirement applies recursively)\footnote{\ref{dcl.fct.default}
 describes how default argument names are looked up.}; and
 
-\item it is
-\impldef{consistency of build level and violation continuation mode}
-the conditions under which ---
-if \tcode{D} contains an assertion, has a postcondition,
-or invokes a function with a precondition ---
-each definition of \tcode{D} shall be translated
-using the same build level
-and violation continuation mode\iref{dcl.attr.contract}; and
+\item if \tcode{D} is a function that
+contains an assertion,
+has a postcondition,
+or invokes a function with a precondition,
+the conditions under which each definition of \tcode{D}
+shall be translated using the same build level
+and violation continuation mode\iref{dcl.attr.contract}
+are \impldef{consistency of build level and violation continuation mode}; and
 
 \item if \tcode{D} is a class with an implicitly-declared
 constructor\iref{class.ctor}, it is as if the constructor was