public static boolean signatureIndicesCoverAnyExampleP(List indices, List examples) {
    { TrainingExample example = null;
      Cons iter000 = examples.theConsList;

      for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
        example = ((TrainingExample)(iter000.value));
        if (Logic.signatureIndicesCoverExampleP(indices, example)) {
          return (true);
        }
      }
    }
    return (false);
  }