Make computers understand procedural law to help out jurists.