static L<Symbol> ai_tripleRefsToTexts_verified(Symbol a, Symbol b, Symbol c, L<TripleRef<Symbol>> l) {
  if (empty(l)) ret sharedEmptyList();
  new L<Symbol> out;
  for (TripleRef<Symbol> ref : l) if (ref != null) {
    TripleWeb t = cast ref.triple;
    continue unless t.verified();
    SymbolSymbol match = simpleMatchTriple_dollarVars(a, b, c, t);
    if (match != null)
      out.add(match.get(symbol_dollarX()));
  }
  ret out;
}