static S ai_renderTriple(Triple<S> t) {
  ret ai_tripleToString(t);
}