static void ai_spec_quoteUnlessQuoted(S s) {
  if (!isQuoted(s))
    ai_postTriple(s, "quotes to:", quote(s));
}