Constructing Legal Arguments with Rules in the Legal Knowledge Interchange Format (LKIF)
AI and law: a fruitful synergy