static bool ai_cache_hasTriple(S a, S b, S c) {
  ret webs_search_noVar_bool(
    webFromTriples(a, b, c), ai_fewestIndexedWebs(a, b, c));
}

static bool ai_cache_hasTriple(T3<S> t) {
  ret ai_cache_hasTriple(t.a, t.b, t.c);
}