static L<S> ai_possibleRuleNames() {
  ret [S s : ellipsisTerms("the ... rule") |
    !swic(s, "the text of ") && !tok_containsSimpleArrow(s)];
}