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;

}