private int getNumberOfClausesSatisfiedIn(List<Sentence> clauses, Model model) { int retVal = 0; foreach(Sentence s in clauses) { if (model.isTrue(s)) { retVal += 1; } } return retVal; } }