static L<Pair<S>> ai_allSubtypeRelations() {
  new L<Pair<S>> l;
  for (WebRelation r : indexedRelations("is"))
    if (ai_isAOrAn(r.a) && ai_isAOrAn(r.b))
      l.add(pair(r.a, r.b));
  ret l;
}