Legalese already exists in software engineering. Several dialects of it, in fact. We call them programming languages.