Legal Rules Structure the Reasoning in Legal Documents

Until we make legal rules computational, we cannot make law computable. A big challenge for data science in law is capturing the governing legal rules in a computable format. They state the conditions under which laws are triggered, they identify the issues to be proved in a legal proceeding, and they structure the proof process itself. Where do we find them? How do they constrain legal reasoning?