Move two sentences out of 'Some Definitions' in introduction

chapters/introduction.tex

@@ -12,6 +12,7 @@ \section{Scope of the Specification}\label{scope-of-the-specification}
 The semantics of the Modelica language is specified by means of a set of
 rules for translating any class described in the Modelica language to a
 flat Modelica structure.
+The semantic specification should be read together with the Modelica grammar.
 
 A class (of specialized class \lstinline!model!, \lstinline!class! or \lstinline!block!) intended to be simulated on its own is called a \firstuse{simulation model}\index{simulation model}.
 
@@ -75,8 +76,6 @@ \section{Scope of the Specification}\label{scope-of-the-specification}
 
 \section{Some Definitions}\label{some-definitions}
 
-The semantic specification should be read together with the Modelica grammar.
-Non-normative text, i.e., examples and comments, are enclosed in {[}\ldots{]} and set in italics.
 Explanations of many terms can be found using the document index in \cref{document-index}.
 Some important terms are defined below.
 
@@ -101,6 +100,8 @@ \section{Some Definitions}\label{some-definitions}
 
 \section{Notation}\label{notation}
 
+Non-normative text, i.e., examples and comments, are enclosed in {[}\ldots{]} and set in italics.
+
 In Modelica code listings, keywords are highlighted with color and may come in both normal weight and boldface, for example, \lstinline!connect! and \lstinline!equation!.
 There are also certain recognized names with special meaning defined by the specification, highlighted with another color, for example, \lstinline!semiLinear!.
 % No need to describe appearance of comments, right?