Towards a General Many-Sorted Framework for Describing Certain Kinds of Legal Statutes with a Potential Computational Realization. - Danny A. J. Gomez-Ramirez; Egil Nordqvist (CoRR, 2021)