static L<S> ellipsisTerms(S pat) {
  int i = indexOf(pat, "...");
  if (i < 0) ret ll(ai_getIndexedTerm(pat));
  S prefix = substring(pat, 0, i), suffix = substring(pat, i+3);
  ret endingWithIC(suffix, fullTermsStartingWith(prefix));
}