static Symbol ai_text_onTriple(Triple<Symbol> t, Symbol a, Symbol b, Symbol c) {
  SymbolSymbol ss = simpleMatchTriple_dollarVars(a, b, c, t);
  ret ss == null ? null : ss.get(symbol_dollarX());
}