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