static LS generalDefinition_rev(S term) {
  new LS out;
  for (Pair<S> p : values(mechMultiMapPairsCI(generalDefinitions_listName())))
    if (eqic(dropGlobalID(p.b), term))
      out.add(p.a);
  ret out;
}