static L<T3<AI_BottomUpParser1.Word, AI_BottomUpParser1.Word, T3<S>>> ai_buParser1_reconstructedGroupings2(AI_BottomUpParser1 parser, AI_BottomUpParser1.Word group, S category) {
  L<T3<AI_BottomUpParser1.Word, AI_BottomUpParser1.Word, T3<S>>> l = new L;
  if (group == null || !group.isGroup()) ret l;
  
  MultiMap<S> superClasses = reverseMultiMap(parser.subClasses);
  Set<S> classes = makeHull_optimized(superClasses, category);

  // 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;
          T3<S> production = t3(a, b, c);
          l.add(t3(partA, partB, production));
          //print("  Found grouping: " + partA.text + " + " + partB.text);
        }
      }
    }
  
  ret l;
}