static Scorer dm_gazelle_checkPredictor(F2<RuleEngine2_MatchedRule, Collection<S>, S> predictor, O... _) {

  ret dm_gazelle_checkPredictor(predictor, _);

}

static Scorer dm_gazelle_checkPredictor(O predictor, O... _) {

  bool verbose = boolPar verbose(_);

  S ruleID = stringPar ruleID(_);

  new Map<S, Set<S>> statementsByRule;

  new Scorer scorer;

  for (dm_gazelle_appliedRulesForLearning_Entry e : dm_gazelle_appliedRulesForLearning_withoutChangedRules()) {

    if (ruleID != null && neq(e.ruleID, ruleID)) continue;

    Set<S> statements = getOrCreateTreeSet(statementsByRule, e.ruleID);

    if (nempty(statements)) {

      if (verbose)

        print("Have " + n2(statements, "statement"));

      S guess = (S) callF(predictor, e.r, statements);

      scorer.add(eq(guess, e.judgement));

      if (verbose)

        print("  " + guess + "/" + e.judgement + ": " + e.r.map);

    }

    LS newStatements = ai_gazelle_statementsFromAppliedRule(e.r, e.judgement);

    statements.addAll(newStatements);

  }

  ret scorer;

}