static L<Symbol> ai_texts(CharSequence _a, CharSequence _b, CharSequence _c) {
  Symbol a = symbol(_a), b = symbol(_b), c = symbol(_c);
  int position = tripleIndexOf(a, b, c, symbol_dollarX());
  if (position < 0) fail("bad");
  if (ai_useThoughtSpaces())
    ret ai_texts(a, b, c, thoughtSpace());
  
  ret allToSymbol(web_texts(ai_search_dollarX(a, b, c)));
}

static L<Symbol> ai_texts(Symbol a, Symbol b, Symbol c, AbstractThoughtSpace ts) {
  ret ai_tripleRefsToTexts(a, b, c, ai_thoughtSpace_query(a, b, c, ts));
}