Completeness of a Fact Extractor