Download Logic-Based Tools for the Analysis and Representation of Legal