Fixed TRole formatting issue

src/mohawk/converter/ConverterCUI.java

@@ -77,5 +77,8 @@ public class ConverterCUI {
         System.out.println(OptionString.TO_ALL.c() + OptionString.SPECFILE.c("data/Mohawk/positive/")
                 + OptionString.LOGLEVEL.c("debug") + OptionString.BULK.c() + OptionString.SPECEXT.c(fileExt.Mohawk_T)
                 + "!exit");
+        System.out.println(OptionString.TO_ASAPTIME_NSA.c() + OptionString.SPECFILE.c("data/reduction/")
+                + OptionString.LOGLEVEL.c("debug") + OptionString.BULK.c() + OptionString.SPECEXT.c(fileExt.Mohawk_T)
+                + "!exit");
     }
 }

src/mohawk/converter/to/tred/ConvertToTRole.java

@@ -63,7 +63,7 @@ public class ConvertToTRole extends ConvertTo {
             String template = ConvertTo.readFile(this.getClass().getResource("uzunTemplate.st"));
             ST st = new ST(template);
             st.add("numRoles", roleHelper.size());
-            st.add("numTimeSlots", timeIntervalHelper.sizeReduced());
+            st.add("numTimeSlots", timeIntervalHelper.getNumberOfTimeSlots());
             st.add("goalStates", query.goalRoles);
             st.add("uzunRules", newRules);
             convertedStr = st.render();