static L<TripleRef<S>> ai_thoughtSpace_query(S a, S b, S c, AbstractThoughtSpace ts) {
  L<TripleWeb> l = null;
  if (!isDollarVar(a)) l = shortestListUnlessNull2(l, ts.getTriples(a));
  if (!isDollarVar(b)) l = shortestListUnlessNull2(l, ts.getTriples(b));
  if (!isDollarVar(c)) l = shortestListUnlessNull2(l, ts.getTriples(c));
  ret ai_triplesToTripleRefs_lazyList(l);
}