static void ai_spec_unquote(S s) {
  if (isProperlyQuoted(s))
    ai_postTriple(s, "unquotes to:", unquote(s));
}