sS ai_ifToFactRule_2(S s, Set<S> pronouns, Set<S> nouns) {
  L<TokenAndRange> tokens = javaTokWithBracketsAndRanges(s);
  Map<TokenAndRange> map = ai_createNounRefMap_1(tokens, pronouns, nouns);
  ai_addDollarSignToCertainTokens_withRanges(tokens, nouns);
  ai_replaceTokensWithReferenced(tokens, map);
  ret ai_ifToFactRule_1(joinTokensAndRanges(tokens));
}