static L<S> ai_possibleRuleNames() {
  ret notStartingWithIC("the text of ", ellipsisTerms("the ... rule"));
}