Thanks for the rephrasing. I should rephrase as well. The language I am proposing offers much stronger control over ambiguity. Take the 8th amendment: "Excess

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.