public static int numSignatureIndicesCovered(List indices, List examples) {
    { int count = 0;

      { TrainingExample example = null;
        Cons iter000 = examples.theConsList;

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