// TODO: use ai_thoughtSpace_queryTriples instead

static L<TripleRef<Symbol>> ai_thoughtSpace_query(Symbol a, Symbol b, Symbol c, AbstractThoughtSpace ts) {
  L<TripleRef<Symbol>> l = null;
  if (!isDollarVar(a)) {
    if (!isDollarVar(b)) ret ai_triplesToCRefs(ts.getOneTwo(a, b));
    l = shortestListUnlessNull2(l, ts.get(a, 0));
    if (l(l) <= 1) ret l;
  }
  if (!isDollarVar(b)) {
    l = shortestListUnlessNull2(l, ts.get(b, 1));
    if (l(l) <= 1) ret l;
  }
  if (!isDollarVar(c)) l = shortestListUnlessNull2(l, ts.get(c, 2));
  ret l;
}