public static void removeCoveredExamples(Cons rule, List uncovered) {
    { TrainingExample example = null;
      Cons iter000 = uncovered.copy().theConsList;

      for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
        example = ((TrainingExample)(iter000.value));
        if (Logic.ruleCoversExampleP(rule, example)) {
          uncovered = ((List)(uncovered.remove(example)));
        }
      }
    }
  }