Contents

1. Main body for predicative only tests
2. Main body for impredicative [and preditive] tests
3. Sample Precicative Facts
4. Sample Napoleon [includea impredicative] Facts
5. Predicative Rules
6. Impredicative Rules
7. Test 1 Query
8. Test 1 Output
9. Test 2 Query
10. Test 2 Output
11. Test 3 Query
12. Test 3 Output - Cancelled with control C - Appeared to be infinite loop
13. Impredicative Query 1
14. Impredicative Output 1

Dennis J. Darland, phil at eclectic-philosopher dot com