static void ai_fillTripleIndex() {
  print("Getting triples.");
  L<TripleWeb> triples = localSoftwareMadeTriples();
  print("Got triples in " + lastTiming() + " ms. Making triple index of " + nTriples(triples) + ".");
  time "Triple index made." {
    ai_replaceTripleIndexWithTriples(triples);
  }
}