sS ai_verbalizeAnalysisMap(Map<O, Set<S>> map) {
  if (map == null) null;
  if (empty(map)) ret "Map empty";
  if (l(map) == 1) ret "Only a single feature value (" + firstKey(map) + ")";
  bool disjoint = allSetsDisjoint(values(map));
  if (allSetsAreSingletons(values(map)))
    ret "Feature success!";
  if (disjoint) ret "No feature overlap";
  ret "Feature results inconclusive";
}