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