static void ai_replaceTripleIndexWithTriples(L<TripleWeb> l) {
  tripleIndex().clear();
  for (TripleWeb w : l)
    tripleIndex().addTriple(w);
}