We describe the application of primarily symbolic methods to the task of detecting logical redundancies and inconsistencies between documents in a medium sized, domain focused collection (1000--40,000 documents). Initial investigations indicate good scalability prospects, especially for syntactic and semantic processing. The di#cult and largely neglected task of mapping from linguistic/semantic representations to domain tailored knowledge representations is potentially more of a...