static void ai_spec_subclass(S s) {
  new Matches m;
  if (ai_isAOrAn(s, m)) {
    S x = m.rest();
    for (S type : ai_texts(s, "is a", "$X"))
      post(x, "is a subclass of", type);
  }
}