fact: Definition SharpenedAlbum : FullySharpened AlbumSpec.
imports: Fiat.QueryStructure.Automation.MasterPlan Fiat.QueryStructure.Specification.SearchTerms.ListInclusion Fiat.QueryStructure.Specification.SearchTerms.InRange