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