How to capture, model, and verify the knowledge of legal,