static TripleWeb ai_findTriple(S a, S b, S c) {
  if (a == null || b == null || c == null) null;
  
  if (ai_useThoughtSpaces())
    ret thoughtSpace().findTriple(symbol(a), symbol(b), symbol(c));
  fail("outdated stuff");
}

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