static S ai_ruleText(S ruleName) {
  ret ai_text_verified("$X", "is", ruleName);
}