Added exotic keys (syntactic, protected-nr) to table display index

data/tableDisplay.py

@@ -51,12 +51,17 @@ def stripColumns( df, keylist, colList ):
 ###### ORDERING AND RENAMING
 
 indexDict = OrderedDict([
+    ('syntactic','Syntactic'),
+    ('realistic','Realistic size'),
     ('im80','Relaxation'),
     ('immediateRatio','Relaxation'),
     ('gen','Generation'),
     ('generative','Generation'),
     ('clever-nr','Expansion'),
     ('expandAlignments','Expansion'),
+    ('clever','Expansion (clever)'),
+    ('protected','Expansion (protected)'),
+    ('protected-nr','Expansion (protected-nr)'),
     ('strengthen','Strenghening'),
     ('str','Strenghening'),
     ('revisionModality','Operator'),
@@ -87,8 +92,8 @@ def orderRenameTable( df, indexDict ):
             if index in df.columns:
                 colArray += [index]
                 colDict += [(index, name)]
-		if name in ['Relaxation','Generation','Expansion','Strenghening','Operator']
-			sortIndex += [name]
+                if name in ['Syntactic','Realistic size','Relaxation','Generation','Expansion','Expansion (clever)','Expansion (protected)','Expansion (protected-nr)','Strenghening','Operator']:
+                    sortIndex += [name]
     # Reorder (levels and columns)
     if (nblevels > 1):
         df = df.reorder_levels( indexSelect )