ldltools suggested change

src/learnwts/discriminativelearner.h

@@ -1508,10 +1508,12 @@ class DiscriminativeLearner
 
         for (int i = 0; i < clause->getNumPredicates(); i++)
         {
-          const char* predName =
-            clause->getPredicate(i)->getTemplate()->getName();
-          if (nonEvidPredNames.contains(predName))
-            nonEvidPreds++;
+          if (clause->getPredicate(i)) {
+            const char* predName =
+              clause->getPredicate(i)->getTemplate()->getName();
+            if (nonEvidPredNames.contains(predName))
+              nonEvidPreds++;
+	  }
         }
       }
 

src/logic/clause.h

@@ -299,7 +299,7 @@ class Clause
 
     // Caller should not delete returned Predicate*.
   Predicate* getPredicate(const int& idx) const { 
-    if (idx > 0 && idx < getNumPredicates()){
+    if (idx >= 0 && idx < getNumPredicates()){
       return (*predicates_)[idx]; 
     }
     else return NULL;

tutorial/tutorial-mlns/basics/multinomial-biased.mln

@@ -5,3 +5,11 @@ Outcome(throw, face!)
 
 // Learn weight for each face
 Outcome(t, +f)
+
+
+// 1 Outcome(t, 1)
+// 1 Outcome(t, 2)
+// 1 Outcome(t, 3)
+// 1 Outcome(t, 4)
+// 1 Outcome(t, 5)
+// 1 Outcome(t, 6)