Law isn’t code. There’s no mechanical decision procedure. That’s both impossible and undesirable.