Index: /reasoner/reasoner.tex
===================================================================
--- /reasoner/reasoner.tex	(revision 83)
+++ /reasoner/reasoner.tex	(revision 84)
@@ -917,9 +917,9 @@
 \hline
 Decision variable & 2.1.4 & \tabAlgLine{algTranslateConstraints}{algTranslateConstraintsTranslationDeclaration}\tabAlgFollow\tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationTranslateDefault}  & \textit{all} \\
-Constraint & 2, 3 & \tabAlgLine{algTranslateConstraints}{algTranslateConstraintsTopLevelConstraints} & \\
-Constraint variable & 3.1.10 & \tabAlgLine{algTranslateConstraints}{algTranslateConstraintsTranslationDeclaration}\tabAlgFollow\tabAlgLines{algTranslateDeclaration}{algTranslateDeclarationTranslateConstraintDefaultStart}{algTranslateDeclarationTranslateConstraintDefaultEnd}  & \\
-Annotation variable & 2.2.2 & \tabAlgLine{algTranslateConstraints}{algTranslateConstraintsTranslationDeclaration}\tabAlgFollow\tabAlgLine{algTranslateDeclaration}{algTranslateConstraintsTopLevelAnnotationAssignments} & \\
-Assignment block & 2.2.2 & \tabAlgLine{algTranslateConstraints}{algTranslateConstraintsTopLevelAnnotationAssignments}\tabAlgFollow\tabAlg{algTranslateAnnotationAssignments} & \\
-Partial evaluation & 2.2.5.3 & \tabAlgLine{algTranslateConstraints}{algTranslateConstraintsTopLevelEvals} & \\
+Constraint & 2, 3 & \tabAlgLine{algTranslateConstraints}{algTranslateConstraintsTopLevelConstraints} & B2, ...\\
+Constraint variable & 3.1.10 & \tabAlgLine{algTranslateConstraints}{algTranslateConstraintsTranslationDeclaration}\tabAlgFollow\tabAlgLines{algTranslateDeclaration}{algTranslateDeclarationTranslateConstraintDefaultStart}{algTranslateDeclarationTranslateConstraintDefaultEnd}  & \MISSING{!} \\
+Annotation & 2.2.2 & \tabAlgLine{algTranslateConstraints}{algTranslateConstraintsTranslationDeclaration}\tabAlgFollow\tabAlgLine{algTranslateDeclaration}{algTranslateConstraintsTopLevelAnnotationAssignments} & A1, A2, A3\\
+Assignment block & 2.2.2 & \tabAlgLine{algTranslateConstraints}{algTranslateConstraintsTopLevelAnnotationAssignments}\tabAlgFollow\tabAlg{algTranslateAnnotationAssignments} & CnA1, CnA2, CnA3 \\
+Partial evaluation & 2.2.5.3 & \tabAlgLine{algTranslateConstraints}{algTranslateConstraintsTopLevelEvals} & Ev1, Ev2 \MISSING{prio?}\\
 \hline
  \multicolumn{4}{|c|}{Types (typed decision variable, starting in \tabAlg{algTranslateDeclaration}}\\
@@ -990,4 +990,9 @@
 \end{table*}
 
+% B=Boolean
+%Co = Container
+%Cn = Constraint
+%A=Annotation, AssignmentBlock
+%Ev=Eval
 
 \begin{table*}[h]
@@ -1006,4 +1011,12 @@
 CnCt1 & \class{collectionConstraints/constraintSetDefault.ivml}\\
 CnCt2 & \class{collectionConstraints/constraintSetSetDefault.ivml}\\
+CnA1 & \class{attributes/BlockAssign.ivml}\\
+CnA2 & \class{attributes/BlockAssignNested.ivml}\\
+CnA3 & \class{attributes/BlockAssignNestedConstraint.ivml}\\
+A1 & \class{attributes/DefaultAssign.ivml}\\
+A2 & \class{attributes/IndividualAssign.ivml}\\
+A3 & \class{attributes/IndividualAssignNested.ivml}\\
+Ev1 & \class{evals/SimpleEval.ivml}\\
+Ev2 & \class{evals/NestedEval.ivml}\\
 \hline
 \end{tabular}