The Prime basis item (menu Presentation) finds an irredundant list of prime terms (generally a proper subset of Full Prime(HH)). It is based on intensive use of Davies and Putnam.