static Set<S> ai_suffixesFromSharedWordStarts(BasicLogicRule<S> r) {
ai_sharedWordParts
  Cl<S> wordParts = ai_sharedWordParts(r);
  ret concatMapToCISet(wordParts, p -> ai_wordStartToSuffixes(p, r.lhs));
}