The subroutine saverule takes a sentence and a ruleset as arguments. It checks whether the sentence is in the specified ruleset. If so, it does nothing; otherwise, it uses insertrule to add the sentence to the ruleset.