Legal Consolidation Formalised in Defeasible Logic and Based on Agents