Partial implementation of FactsWithProvenance