static Collection<TripleWeb> ai_allTriples() {
  ret tripleIndex().allTriples();
}