Index: /reasoner/reasoner.tex
===================================================================
--- /reasoner/reasoner.tex	(revision 51)
+++ /reasoner/reasoner.tex	(revision 52)
@@ -730,5 +730,5 @@
 \begin{table*}[h]
 \centering
-\begin{tabular}{|l|c||l|c|}
+\begin{tabular}{|l|c||l|p{3cm}|}
 \hline
 \textbf{IVML concept} & \textbf{Spec} & \textbf{Transformation} & \textbf{Comments}\\
@@ -736,12 +736,12 @@
  \multicolumn{4}{|c|}{Top-level}\\
 \hline
-Decision variable & & Alg. \ref{algTranslateConstraints} line \ref{algTranslateConstraintsTranslationDeclarationDefaults} & \TBD{check} \\
-Constraint & & Alg. \ref{algTranslateConstraints} line \ref{algTranslateConstraintsTopLevelConstraints} & \\
-Annotation assignment & & Alg. \ref{algTranslateConstraints} line \ref{algTranslateConstraintsTopLevelAnnotationAssignments} & \\
-Eval-block & & Alg. \ref{algTranslateConstraints} line \ref{algTranslateConstraintsTopLevelEvals} & \\
+Decision variable & & Alg. \ref{algTranslateConstraints}, line \ref{algTranslateConstraintsTranslationDeclarationDefaults} $\rightarrow$ Alg. \ref{algTranslateDeclarationDefaults} & \TBD{check} \\
+Constraint & & Alg. \ref{algTranslateConstraints}, line \ref{algTranslateConstraintsTopLevelConstraints} & \\
+Annotation assignment & & Alg. \ref{algTranslateConstraints}, line \ref{algTranslateConstraintsTopLevelAnnotationAssignments} $\rightarrow$ Alg. \ref{algTranslateAnnotationAssignments} & \\
+Eval-block & & Alg. \ref{algTranslateConstraints}, line \ref{algTranslateConstraintsTopLevelEvals} & \\
 \hline
  \multicolumn{4}{|c|}{Types}\\
 \hline
-Basic types & & - & No translation needed, see Section \ref{sectNotationOthers}\\
+Basic types & & - & No translation, cf. Section \ref{sectNotationOthers}\\
 Derived types & & & \\
 Enum types & & & \\