I know Seneca Systems is vaguely working on ideas that seem related to what youre talking about but more on the social involvement front as opposed to deep analysis of overlapping laws and semantic deconstruction of how they could be abstracted. theres a few legaltech startups working on westlaw/legal database competitor that i know uses ML to build a large graph database of existing laws and their inter-relationships Fwir