Codifying the legal code(s). I suspect this is already being done to some extent, but I think it would be really useful to 1. Input a list of facts and receiv

Codifying the legal code(s). I suspect this is already being done to some extent, but I think it would be really useful to 1. Input a list of facts and receive a list of laws pertaining to those facts. 2. Automatically detect language that is too vague to resolve or that conflicts with other parts of the legal code. 3. Suggest optimizations or refactoring opportunities that could guide legislators in simplifying the code.