Lessons from "The British Nationality Act as Logic Program"

The following are some points I hoped you could take away from the British Nationality Act paper;
- Case law / statute law difference for purposes of programming
- Role of vagueness / limits of machines
- Affect of programming on formalizing thought about the area of law being programmed
- Difference between "simulating legal reasoning" and "implementing rules and regulations"
- Applicability of techniques of programming legal rules to other rules such as business or organizational rules
- Concept of "expert systems"
- Decision tree model
- Thinking about what legal subject areas are appropriate for programming and what are not

If you missed some of these, most of them are passed over in the introduction and conclusion. Try reading 370-375 and 383-end.