// uses rules in unclear list "Rules"
static MultiSet<S> dm_ai_groupingsToDeducedFactsMultiSet(Cl<S> groupings) {
  S rules = joinWithEmptyLines(dm_getUnclearList("Rules"));
  MultiSet<S> factsHistogram = ciMultiSet();

  fOr (S grouping : groupings) {
    S program = joinWithEmptyLines(rules, grouping);
    Cl<S> facts = philosophyBot1_quick(program);
    print("Got " + nFacts(facts) + " for " + quote(grouping));
    factsHistogram.addAll(facts);
  }

  ret factsHistogram;
}