Index: /reasoner/reasoner.tex
===================================================================
--- /reasoner/reasoner.tex	(revision 87)
+++ /reasoner/reasoner.tex	(revision 88)
@@ -949,5 +949,5 @@
 & \TBD{tests} \\
 
-Constraint type & 3.10.1 & no specific constraints, cf. Section \ref{sectNotationOthers}, constraint value in \ref{algTranslateDeclaration} line \ref{algTranslateDeclarationConstraintVariableConstraint} & \TBD{tests} \\
+Constraint type & 3.10.1 & \TBD{no specific constraints, cf. Section \ref{sectNotationOthers}, constraint value in \ref{algTranslateDeclaration} line \ref{algTranslateDeclarationConstraintVariableConstraint}} & \TBD{tests} \\
 
 \hline
@@ -988,11 +988,11 @@
 Derived type & 2.1.3.4 &  \tabAlgLine{algTranslateCompoundContent}{algTranslateCompoundDeclarationTranslateSlotsV} or \tabAlgLine{algTranslateCompoundContent}{algTranslateCompoundDeclarationTranslateSlotsT}\tabAlgFollow\tabAlg{algTranslateDeclaration} & \TBD{tests} \\
 
-Compound type & 2.1.3.5 & Alg. \ref{algTranslateDeclaration} line \ref{algTranslateDeclarationTranslateCompound} $\rightarrow$ Alg.\ref{algTranslateCompoundDeclaration} & \TBD{tests} \\
-
-Container type & 2.1.3.3 & & \TBD{tests} \\
-
-Reference type & 2.2.3.2 & no specific constraints, cf. Section \ref{sectNotationOthers} & \TBD{tests} \\
-
-Constraint type & 3.10.1 & no specific constraints, cf. Section \ref{sectNotationOthers}, constraint value in \ref{algTranslateDeclaration} line \ref{algTranslateDeclarationConstraintVariableConstraint} via compound access line \ref{algTranslateDeclarationTranslateInCompound} & \TBD{tests} \\
+Compound type & 2.1.3.5 & \TBD{Alg. \ref{algTranslateDeclaration} line \ref{algTranslateDeclarationTranslateCompound} $\rightarrow$ Alg.\ref{algTranslateCompoundDeclaration}} & \TBD{tests} \\
+
+Container type & 2.1.3.3 & \TBD{??} & \TBD{tests} \\
+
+Reference type & 2.2.3.2 & \TBD{no specific constraints, cf. Section \ref{sectNotationOthers}} & \TBD{tests} \\
+
+Constraint type & 3.10.1 & \TBD{no specific constraints, cf. Section \ref{sectNotationOthers}, constraint value in \ref{algTranslateDeclaration} line \ref{algTranslateDeclarationConstraintVariableConstraint} via compound access line \ref{algTranslateDeclarationTranslateInCompound}} & \TBD{tests} \\
 
 Annotation & 2.2.2 & top-level see Table \ref{tab:completenessTopLevelTypes}, nested usage \tabAlgLine{algTranslateCompoundContent}{algTranslateCompoundDeclarationTranslateSlotsV} or \tabAlgLine{algTranslateCompoundContent}{algTranslateCompoundDeclarationTranslateSlotsT}\tabAlgFollow\tabAlg{algTranslateDeclaration} & \TBD{tests}\\
@@ -1011,4 +1011,6 @@
 \pagebreak
 
+\TBD{No annotation, assignment blocks and partial evaluation possible from IVML syntax. However, accessor-based access possible handled by variable declaration and \tabAlgLine{algTranslateDeclaration}.} 
+
 \begin{table*}[h]
 %\begin{adjustbox}{angle=90}
@@ -1032,11 +1034,11 @@
 Derived type & 2.1.3.4 & \tabAlgLine{algTranslateContainerDeclaration}{algTranslateContainerDeclarationDerivedTypes}\tabAlgFollow\tabAlg{algTranslateDeclaration} & \TBD{tests} \\
 
-Compound type & 2.1.3.5 & & \TBD{tests} \\
-
-Container type & 2.1.3.3 & & \TBD{tests} \\
-
-Derived Compound Type & & & \TBD{tests} \\
-
-Derived Container Type & & & \TBD{tests} \\
+Compound type & 2.1.3.5 & \TBD{??} & \TBD{tests} \\
+
+Container type & 2.1.3.3 & \TBD{??}  & \TBD{tests} \\
+
+Derived Compound Type & \TBD{??}  & \TBD{??}  & \TBD{tests} \\
+
+Derived Container Type & \TBD{??}  & \TBD{??}  & \TBD{tests} \\
 
 Reference type & 2.2.3.2 & no specific constraints, cf. Section \ref{sectNotationOthers} & \TBD{tests} \\
@@ -1044,7 +1046,7 @@
 Constraint type & 3.10.1 & no specific constraints, cf. Section \ref{sectNotationOthers} \TBD{constraint value} & \TBD{tests} \\
 
-Constraint Container& & & \TBD{CnCt1, CnCt2} \\
-
-Derived Constraint Container& & & \TBD{tests} \\
+Constraint Container& \TBD{??}  & \TBD{??}  & \TBD{CnCt1, CnCt2} \\
+
+Derived Constraint Container& \TBD{??}  & \TBD{??}  & \TBD{tests} \\
 
 Annotation & 2.2.2 & top-level only, see Table \ref{tab:completenessTopLevelTypes}  & \TBD{tests}\\
@@ -1063,4 +1065,6 @@
 \pagebreak
 
+\TBD{Recursive annotations are not supported by IVML, add section number below.} 
+
 \begin{table*}[h]
 %\begin{adjustbox}{angle=90}
@@ -1082,7 +1086,7 @@
 Derived type & 2.1.3.4 & \tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationDerivedDatatype}\tabAlgFollow\tabAlg{algTranslateDerivedDatatypeConstraints} & \TBD{tests} \\
 
-Compound type & 2.1.3.5& & \TBD{tests} \\
-
-Container type & 2.1.3.3 & & \TBD{tests} \\
+Compound type & 2.1.3.5 & \TBD{??} & \TBD{tests} \\
+
+Container type & 2.1.3.3 & \TBD{??} & \TBD{tests} \\
 
 Reference type & 2.2.3.2 & no specific constraints, cf. Section \ref{sectNotationOthers} & \TBD{tests} \\