static void ai_buParser1_reconstructGrouping(AI_BottomUpParser1 parser, AI_BottomUpParser1.Word group, S category) {
  if (!group.isGroup()) ret;
  
  MultiMap<S> superClasses = reverseMultiMap(parser.subClasses);
  Set<S> classes = makeHull_optimized(superClasses, category);
  print("Starting class " + category + ", found classes: " + classes);
  
  // a + b = c
  for (S a : keys(parser.groupingsByA))
    for (PairS bAndC : parser.groupingsByA.get(a)) {
      S b = bAndC.a, c = bAndC.b;
      if (contains(classes, c)) {
        print("Possible production: " + a + " + " + b + " = " + c);
        for (L<AI_BottomUpParser1.Word> parts : group.constituents) {
          if (l(parts) != 2) continue; // shouldn't happen
          AI_BottomUpParser1.Word partA = first(parts), partB = second(parts);
          if (!contains(partA.classes, a)) continue;
          if (!contains(partB.classes, b)) continue;
          print("  Found grouping: " + partA.text + " + " + partB.text);
        }
      }
    }
}