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