ConCon: A Contract Conflict Identifier

Contracts are the main medium through which people and legal entities formalise their trade relations, be they the exchange of goods or the specification of mutual obligations. While electronic contracts allow automated processes to verify their correctness, most agreements in the real world are still encoded in contracts written in natural language, necessitating substantial human revision effort to eliminate possible conflicting statements, especially for long and complex contracts. We demonstrate the ConCon (Contract Conflicts) tool, to automatically read natural language contracts and indicate potential conflicts among their clauses. Using our tool, legal professionals and the general public can benefit from a ranking of potential conflicts between the clauses in a contract, saving time and effort from legal experts in contract proof-reading.