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