I'm certain the powers who come up with these treaties don't care about formalization; they have lawyer armies already. A formal definition created by some "ob

I'm certain the powers who come up with these treaties don't care about formalization; they have lawyer armies already. A formal definition created by some "objective" third party would make it clear which concepts are axiomatic. If "sale" is an axiom, there is no further explanation except perhaps a link to a legal dictionary (or whatever). But maybe it can be clarified with explicit relationships. This would all amount to another kind of legalese: a formal one based on explicit logic. It won't solve the inherent messiness of law, but it might clarify some things.