Thanks for the rephrasing.

I should rephrase as well. The language I am proposing offers much stronger control over ambiguity.

Take the 8th amendment: "Excessive bail shall not be required, nor excessive fines imposed, nor cruel and unusual punishments inflicted."

What is an "excessive fine" mean? In the language I am proposing it could be defined as is, or in something like:

... cellType dollarAmount number cellType fine dollarAmount cellType adjustedGrossIncome dollarAmount cellType universalExcessiveFineThreshold description As a percentage of adjustedGrossIncome constant .1 nodeType isExcessiveFine cells adjustedGrossIncome fine trueIf fine / adjustedGrossIncome > universalExcessiveFineThreshold ...

So you have more control over ambiguity.

But that’s not ambiguity at all — “giving judges leeway according to parameters defined in advance by legislators” is not the same thing as “statutes being ambiguous”.