static void ai_spec_acronym(S s) {
  if (!isIdentifier(s) || l(s) < 2) ret;
  //if (nempty(ai_search_dollarX(s, "maybe short for?", "$X"))) ret;
  for (S word : allIndexedTerms())
    if (eqic(toAcronym(word), s))
      ai_postTriple(s, "maybe short for?", word);
}