A logic for legal hierarchies