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