static void ai_spec_numbered(S s) {
  L<S> l = javaTokC(s);
  if (l(l) > 1 && isInteger(last(l))) {
    S type = a(dropLastJavaToken(s));
    if (!has(s, "is", type))
      post(s, "probably is", type);
  }
}