!7

!include #1021788

cmodule AppliedRules > DynAppliedRules {
  // API
  
  // ruleID -> count
  Map<S, Int> statsForNonJudged() {
    new MultiSet<S> ms;
    for (AppliedRule r : concepts())
      if (empty(r.judgement))
        ms.add(r.ruleID);
    ret multiSetToMap(ms);
  }
}