Wechsler's technology extracts facts, named entities, and dates from legal documents to detect corroborations and contradictions