static bool ai_trivialTriple(T3<S> t) {
  if (t == null) true;
  ret eq(t.b, "?") && eq(t.c, "?")
    || eq(t.b, ".") && eq(t.c, ".");
}