static L<S> ai_subtypesOf(S type) {
  ret web_uniqueTexts(webs_search_dollarX(
    webFromTriples("$X", "is a type of", type),
    indexedWebs(type)));
}