static Web ai_postTriple(T3<S> triple) {
  if (ai_cache_hasTriple(triple)) null;
  Web web = webFromTriple(triple);
  postSoftwareMadeWeb(web);
  ret web;
}

static Web ai_postTriple(S a, S b, S c) {
  ret ai_postTriple(t3(a, b, c));
}