Can artificial intelligence reveal the assumptions judges make? Or help lawyers and litigants to identify appeal arguments?